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-04 16:46:27 +03:00
A massively parallel, high-level programming language
Updated 2024-07-04 14:51:28 +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