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 месеци
Yggdrasil Not sure if this is working. пре 10 месеци
LICENSE Add license. пре 10 месеци
yggdrasil.agda-lib Start constructing world. пре 10 месеци