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
Related Tags
dependent-type × 120type-theory × 92
pl.programming-languages × 20
lo.logic × 19
typed-lambda-calculus × 15
lambda-calculus × 14
type-systems × 14
coq × 13
calculus-of-constructions × 12
reference-request × 11
agda × 9
proof-assistants × 6
homotopy-type-theory × 6
ct.category-theory × 5
type-inference × 5
functional-programming × 4
normalization × 4
inductive-type × 3
automated-theorem-proving × 2
program-verification × 2
monad × 2
model-theory × 2
curry-howard × 2
fixed-points × 2
co.combinatorics × 1