Interested in type theory, category theory and univalent foundations.
Updated 2023-07-25 13:45:22 +02:00
my nixos configuration
Updated 2024-04-19 15:24:09 +02:00
psDeriver is a file which lets one define postscript derivations simply.
Updated 2023-07-23 17:48:30 +02:00