Hacker News new | ask | show | jobs
by Harmohit 729 days ago
The exploration of type theory in this blog post is quite interesting