A framework for executable UC specifications.
Du kannst nicht mehr als 25 Themen auswählen Themen müssen entweder mit 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 3 Jahren
Yggdrasil Not sure if this is working. vor 3 Jahren
LICENSE Add license. vor 3 Jahren
yggdrasil.agda-lib Start constructing world. vor 3 Jahren