A next-gen functional language
starred-repo
functional-programming
dependent-types
lambda-calculus
type-theory
formality
moonad
proof-language
proof-languages
theorem-prover
starred-higherorderco-repo
Updated 2024-07-02 15:26:28 +03:00
A modern proof language
starred-repo
functional-programming
dependent-types
formality
lambda-calculus
moonad
proof-language
proof-languages
theorem-prover
type-theory
starred-kindelia-repo
Updated 2024-06-28 18:31:06 +03:00
A next-gen functional language
starred-repo
functional-programming
dependent-types
lambda-calculus
type-theory
formality
moonad
proof-language
proof-languages
theorem-prover
starred-kindelia-repo
Updated 2024-06-28 18:31:06 +03:00
A next-gen functional language
starred-repo
functional-programming
dependent-types
lambda-calculus
type-theory
formality
moonad
proof-language
proof-languages
theorem-prover
starred-higherorderco-repo
Updated 2024-06-28 18:31:06 +03:00
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
starred-repo
functional-programming
lambda-calculus
type-theory
book
compiler
evaluation
functional-language
haskel
hindley-milner
intermediate-representation
pdf-book
type
type-checking
type-inference
type-system
starred-sdiehl-repo
Updated 2017-04-19 21:42:33 +03:00