New answers tagged dependent-type
8
votes
Accepted
Similarities and differences between Pie and popular languages with dependent types
I'd say that Pie is a much smaller version of the core languages of those systems. It's a bit closer to Lean's core than to Coq, Agda, or Idris, but the differences are not very large there. When I ...
Top 50 recent answers are included