Hacker News new | ask | show | jobs
The type system of mathematics (qchu.wordpress.com)
3 points by primodemus 3074 days ago