Mercurial > hg > Members > atton > agda-proofs
directory /systemF/ @ 73:a5cac9483f91
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
int.agda | 1546 | -rw-r--r-- |
systemF.agda | 8375 | -rw-r--r-- |
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
int.agda | 1546 | -rw-r--r-- |
systemF.agda | 8375 | -rw-r--r-- |