Interested in type theory, category theory and univalent foundations.
A vm designed to run functional languages. Unfinished and (currently) abandoned.
Updated 2022-10-08 14:51:37 +02:00