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