A framework for executable UC specifications.
Nevar pievienot vairāk kā 25 tēmas Tēmai ir jāsākas ar burtu vai ciparu, tā var saturēt domu zīmes ('-') un var būt līdz 35 simboliem gara.
Thomas Kerber e9c05e676b
Not sure if this is working.
pirms 10 mēnešiem
Yggdrasil Not sure if this is working. pirms 10 mēnešiem
LICENSE Add license. pirms 10 mēnešiem
yggdrasil.agda-lib Start constructing world. pirms 10 mēnešiem