Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Kind: A Modern Proof Language
(github.com/uwu-tech)
232 points
danny00
5 years ago
111 comments
2.
▲
First class modules with self types
(github.com/uwu-tech)
2 points
LangMakers
5 years ago
discuss
3.
▲
Show HN: Kind, a minimal, efficient, practical proof language
(github.com/uwu-tech)
2 points
LightMachine
5 years ago
discuss