A framework for executable UC specifications.
Você não pode selecionar mais de 25 tópicos Os tópicos devem começar com uma letra ou um número, podem incluir traços ('-') e podem ter até 35 caracteres.
Thomas Kerber e9c05e676b
Not sure if this is working.
10 meses atrás
Yggdrasil Not sure if this is working. 10 meses atrás
LICENSE Add license. 10 meses atrás
yggdrasil.agda-lib Start constructing world. 10 meses atrás