From: Auke Booij Date: Wed, 14 Oct 2015 12:32:45 +0000 (+0100) Subject: Rename executable to cubical (as in Makefile) X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=5887704d9c27d5b9ff7cd3f9cb2d6cfe128ad864;p=cubicaltt.git Rename executable to cubical (as in Makefile) --- diff --git a/cubicaltt.cabal b/cubicaltt.cabal index cdb0512..6ed8fb8 100644 --- 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