A framework for executable UC specifications.
Du kan inte välja fler än 25 ämnen Ämnen måste starta med en bokstav eller siffra, kan innehålla bindestreck ('-') och vara max 35 tecken långa.
Thomas Kerber e9c05e676b
Not sure if this is working.
10 månader sedan
Yggdrasil Not sure if this is working. 10 månader sedan
LICENSE Add license. 10 månader sedan
yggdrasil.agda-lib Start constructing world. 10 månader sedan