Mercurial > hg > Members > atton > agda > systemT
directory / @ 13:5a81867278af default tip
| name | size | permissions |
|---|---|---|
 .hgignore
|
25 | -rw-r--r-- |
|
boolean.agda
|
422 | -rw-r--r-- |
|
int.agda
|
4237 | -rw-r--r-- |
|
systemT.agda
|
269 | -rw-r--r-- |