A framework for executable UC specifications.
Je kunt niet meer dan 25 onderwerpen selecteren Onderwerpen moeten beginnen met een letter of nummer, kunnen streepjes bevatten ('-') en kunnen maximaal 35 tekens lang zijn.
Thomas Kerber e9c05e676b
Not sure if this is working.
3 jaren geleden
Yggdrasil Not sure if this is working. 3 jaren geleden
LICENSE Add license. 3 jaren geleden
yggdrasil.agda-lib Start constructing world. 3 jaren geleden