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