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