| Name | Size (bytes) | Date | Description |
|---|---|---|---|
| ../ | Parent directory | ||
| Data/ | 2015-Mar-29 | ||
| Ex/ | 2015-Mar-29 | ||
| Logic.agda | 512 | 2015-Mar-29 | |
| Proof.agda | 188 | 2015-Mar-29 | |
| Sandbox.agda | 995 | 2015-Mar-29 | |
| Util.agda | 193 | 2015-Mar-29 |
| Name | Size (bytes) | Date | Description |
|---|---|---|---|
| ../ | Parent directory | ||
| Data/ | 2015-Mar-29 | ||
| Ex/ | 2015-Mar-29 | ||
| Logic.agda | 512 | 2015-Mar-29 | |
| Proof.agda | 188 | 2015-Mar-29 | |
| Sandbox.agda | 995 | 2015-Mar-29 | |
| Util.agda | 193 | 2015-Mar-29 |