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
An application for viewing album art of the song currently playing in mpd
Updated 2022-10-08 14:49:33 +02:00