| Name | Size (bytes) | Date | Description |
|---|---|---|---|
| ../ | Parent directory | ||
| Division-Foreign.agda | 719 | 2015-Mar-29 | |
| Division-Native.agda | 674 | 2015-Mar-29 | |
| ShowNat-Foreign.agda | 352 | 2015-Mar-29 | |
| ShowNat-Native.agda | 341 | 2015-Mar-29 |
| Name | Size (bytes) | Date | Description |
|---|---|---|---|
| ../ | Parent directory | ||
| Division-Foreign.agda | 719 | 2015-Mar-29 | |
| Division-Native.agda | 674 | 2015-Mar-29 | |
| ShowNat-Foreign.agda | 352 | 2015-Mar-29 | |
| ShowNat-Native.agda | 341 | 2015-Mar-29 |