A framework for executable UC specifications.
Nelze vybrat více než 25 témat Téma musí začínat písmenem nebo číslem, může obsahovat pomlčky („-“) a může být dlouhé až 35 znaků.
Thomas Kerber e9c05e676b
Not sure if this is working.
před 10 měsíci
Yggdrasil Not sure if this is working. před 10 měsíci
LICENSE Add license. před 10 měsíci
yggdrasil.agda-lib Start constructing world. před 10 měsíci