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.

Branch: master

gas-move-test

idris

master

oldhaskell

tabularasa

0.1.0.0

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'master'

${ noResults }

Compare

HTTPS

 ZIP  TAR.GZ

Thomas Kerber e9c05e676b Not sure if this is working.		3 years ago
Yggdrasil	Not sure if this is working.	3 years ago
LICENSE	Add license.	3 years ago
yggdrasil.agda-lib	Start constructing world.	3 years ago