A framework for executable UC specifications.
Du kannst nicht mehr als 25 Themen auswählen Themen müssen mit entweder einem Buchstaben oder einer Ziffer beginnen. Sie können Bindestriche („-“) enthalten und bis zu 35 Zeichen lang sein.
Thomas Kerber e9c05e676b
Not sure if this is working.
vor 10 Monaten
Yggdrasil Not sure if this is working. vor 10 Monaten
LICENSE Add license. vor 10 Monaten
yggdrasil.agda-lib Start constructing world. vor 10 Monaten