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