logoalt Hacker News

igravious • yesterday at 12:15 PM • 1 reply • view on HN

i'm doing the same thing but for type theory

Replies

potsandpans • yesterday at 8:17 PM

This is very interesting to me. Care to share your process?