Languages and libraries
2021PomPom
Dependently typed language for proofs that you can implement in one day
Roasted138 points96 comments
caotic123
1 Show HN that got attention, 2021. 138 points in all.
Makers can hide their page. See how to opt out.
1 Show HN that got attention, 2021. 138 points in all.
Languages and libraries
2021Dependently typed language for proofs that you can implement in one day
Roasted138 points96 comments
Makers can hide their page. See how to opt out.