Follow
A dependently typed language for proofs that you can implement in one day
https://news.ycombinator.com/item?id=28725803
#hackernews #tech
