https://github.com/dlicata335/cart-cube
Revision c78b685f7b653fd0df4bd02b31ac0ccde6a45e46 authored by Dan Licata on 06 December 2017, 01:36:07 UTC, committed by Dan Licata on 06 December 2017, 01:36:07 UTC
2 parent s 60487c4 + 7e5803f
History
Tip revision: c78b685f7b653fd0df4bd02b31ac0ccde6a45e46 authored by Dan Licata on 06 December 2017, 01:36:07 UTC
Merge branch 'master' of github.com:dlicata335/cart-cube
Tip revision: c78b685
File Mode Size
agda
README.md -rw-r--r-- 541 bytes
cart-cube.pdf -rw-r--r-- 694.4 KB

README.md

back to top