Rename executable to cubical (as in Makefile)

diff --git a/cubicaltt.cabal b/cubicaltt.cabal
index cdb0512b80555acb1e4bad78fbe809f4da60d70e..6ed8fb85a41f8ed567229f26ef40bed5a0d3cf04 100644 (file)
--- a/cubicaltt.cabal
+++ b/cubicaltt.cabal
@@ -15,7 +15,7 @@ build-type:          Custom
 extra-source-files:  README.md
 cabal-version:       >=1.10
 
-executable cubicaltt
+executable cubical
   main-is:             Main.hs
   other-modules:       Exp.Lex, Exp.Par
   other-extensions:    TypeSynonymInstances, FlexibleInstances, GeneralizedNewtypeDeriving, TupleSections, CPP, MagicHash