A good strategy to go from a thesis to a typechecker #typetheory
https://spire-lang.org/blog/2014/01/05/an-unremarkable-type-checker/
gpg -vv -r myid -e -a name, /
npub1wh…hjvu8
2024-02-28 23:15:49
Author Public Key
npub1wharawc5r9yp4g3ar5ha4rs0ve0xyl85z43rqmlhudxv6txs0sjsqhjvu8