Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Show HN: Dependently typed language for proofs that you can implement in one day
github.com/caotic123
138 points
caotic123
5 years ago
96 comments
Loading...
Show HN: Dependently typed language for proofs that you can implement in one day | Heykuki News