-
hdtt2020-notes Public archive
-
cubical-experiments Public archive
Results of experiments using cubical type theory
UpdatedMar 13, 2019 -
pulse Public archive
Haskell binding to PulseAudio (incomplete and halted)
-
HoTT-Agda-favonia-thesis Public archive
Forked from HoTT/HoTT-AgdaDevelopment of homotopy type theory in Agda (with extra files for favonia's thesis)
Agda MIT License UpdatedMay 15, 2017 -
-
-
martin-lof Public
Forked from michaelt/martin-lofpapers of Per Martin Löf
-
-
homotopy Public archive
My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
-
{{ message }}