Mercurial > hg > Members > kono > Proof > agda-reflection
directory / @ 2:27e2035653ce default tip
| name | size | permissions |
|---|---|---|
 IdAgda.agda
|
119 | -rw-r--r-- |
|
foreign.agda
|
1171 | -rw-r--r-- |
|
hello.agda
|
143 | -rw-r--r-- |
|
reflection-ex.agda
|
15476 | -rw-r--r-- |
|
tactics.agda
|
1244 | -rw-r--r-- |