https://hydraz.club

Updated 2 months ago

My (bad|unfinished|wip) Guix packages or code.

Updated 4 months ago

A dependent type theory

Updated 5 months ago