Rename executable to cubical (as in Makefile)
authorAuke Booij <auke@tulcod.com>
Wed, 14 Oct 2015 12:32:45 +0000 (13:32 +0100)
committerAuke Booij <auke@tulcod.com>
Wed, 14 Oct 2015 12:33:09 +0000 (13:33 +0100)
commit5887704d9c27d5b9ff7cd3f9cb2d6cfe128ad864
treec6d4da41ff26f9b9ef002441a03fc59c916d431a
parent2879706a0e0ad7447d0bb517d6f9b3478a0b63e6
Rename executable to cubical (as in Makefile)
cubicaltt.cabal