HN
New
Show
Ask
Jobs
Built with Solid
Why is it worth spending time on type theory?
(math.stackexchange.com)
2 points | by
mindcrime
7 hours ago ago
1 comments
7 hours ago ago
[deleted]
1 comments