Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Aya: a dependently-typed programming language
(github.com/aya-prover)
2 points
limoce
5 years ago
discuss