logoalt Hacker News

rrook • today at 3:41 PM • 0 replies • view on HN

Some shameless self promo - I'm working on one!

https://hale-lang.org/proof/