← Back to context

Comment by codethief

4 days ago

That whole blog is one big and fascinating rabbit hole into type theory! Thanks for the link!

0 comments

codethief

Reply

No comments yet

Contribute on Hacker News ↗