Mercurial > hg > Gears > GearsAgdaExample
directory / @ 1:69dc3096fa72
| name | size | permissions |
|---|---|---|
 BinaryTree.agda
|
3087 | -rw-r--r-- |
|
Fib.agda
|
1322 | -rw-r--r-- |
|
Stack.agda
|
1764 | -rw-r--r-- |
|
WhileTest.agda
|
1184 | -rw-r--r-- |
|
hoare.agda
|
4669 | -rw-r--r-- |
|
logic.agda
|
4565 | -rw-r--r-- |
|
nat.agda
|
13803 | -rw-r--r-- |