Mercurial > hg > Members > atton > agda > systemF
directory / @ 31:ca278492b95f
name | size | permissions |
---|---|---|
.hgignore | 25 | -rw-r--r-- |
int.agda | 1546 | -rw-r--r-- |
systemF.agda | 8198 | -rw-r--r-- |
name | size | permissions |
---|---|---|
.hgignore | 25 | -rw-r--r-- |
int.agda | 1546 | -rw-r--r-- |
systemF.agda | 8198 | -rw-r--r-- |