A framework for executable UC specifications.
Non puoi selezionare più di 25 argomenti Gli argomenti devono iniziare con una lettera o un numero, possono includere trattini ('-') e possono essere lunghi fino a 35 caratteri.
Thomas Kerber e9c05e676b
Not sure if this is working.
1 anno fa
Yggdrasil Not sure if this is working. 1 anno fa
LICENSE Add license. 1 anno fa
yggdrasil.agda-lib Start constructing world. 1 anno fa