A framework for executable UC specifications.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Thomas Kerber e9c05e676b
Not sure if this is working.
10 ay önce
Yggdrasil Not sure if this is working. 10 ay önce
LICENSE Add license. 10 ay önce
yggdrasil.agda-lib Start constructing world. 10 ay önce