A framework for executable UC specifications.
Não pode escolher mais do que 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.
há 1 ano
Yggdrasil Not sure if this is working. há 1 ano
LICENSE Add license. há 1 ano
yggdrasil.agda-lib Start constructing world. há 1 ano