https://github.com/dlicata335/cart-cube
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 |