This website works better with JavaScript.
Home
Explore
Help
Sign In
phd
/
yggdrasil
Watch
1
Star
0
Fork
0
Code
Issues
3
Pull Requests
0
Releases
1
Wiki
Activity
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.
22
Commits
5
Branches
3.8 MiB
Agda
100%
Branch:
master
gas-move-test
idris
master
oldhaskell
tabularasa
0.1.0.0
Branches
Tags
${ item.name }
Create branch
${ searchTerm }
from 'master'
${ noResults }
Compare
HTTPS
ZIP
TAR.GZ
Thomas Kerber
e9c05e676b
Not sure if this is working.
2 years ago
Yggdrasil
Not sure if this is working.
2 years ago
LICENSE
Add license.
2 years ago
yggdrasil.agda-lib
Start constructing world.
2 years ago