swh:1:snp:d367523247e04954b7335ef4f65cf4132652bc3e
Tip revision: f80af5cf6638c85ffda2397a8e097b3e9decac1b authored by Dan Licata on 01 March 2021, 22:21:01 UTC
edit README
edit README
Tip revision: f80af5c
| File | Mode | Size |
|---|---|---|
| agda | ||
| README.md | -rw-r--r-- | 1.2 KB |
| cart-cube-v1.pdf | -rw-r--r-- | 695.5 KB |
| cart-cube-v2.pdf | -rw-r--r-- | 778.9 KB |
| cart-cube.pdf | -rw-r--r-- | 793.0 KB |
