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.
3 anni fa
Yggdrasil Not sure if this is working. 3 anni fa
LICENSE Add license. 3 anni fa
yggdrasil.agda-lib Start constructing world. 3 anni fa