simhu/cubical — pull request #3 by jonsterling (2014-02-01 23:33:38+00:00)
Title: Remove outdated modules from cubical.cabal

These modules seem to date to before the evaluator was internalized; this change allows you to run `cabal install` again.