| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| 0.research/ | - | 2019-Dec-20 20:00 |
| 1.mapping-time/ | - | 2019-Dec-19 19:41 |
| 2.mapping-quantities/ | - | 2019-Dec-19 19:41 |
| 3.mapping-space/ | - | 2019-Dec-19 19:41 |
| Makefile | 810 B | 2019-Dec-19 19:41 |
| README.md | 3.5 KiB | 2019-Dec-19 19:41 |