|
Failed to load latest commit information. |
|
examples
|
Add another CFG example
|
Oct 21, 2014
|
|
|
src
|
Fix import mistake in Utils.hs
|
Oct 21, 2014
|
|
|
talks/cade
|
Twiggle twiddle cade presentation
|
Jun 14, 2013
|
|
|
testsuite
|
Run tests on travis
|
Sep 23, 2013
|
|
|
tfp1/tests
|
Fix some polymorphic lets
|
Jan 16, 2014
|
|
|
travis
|
Make travis update cabal first
|
Feb 18, 2013
|
|
|
.gitignore
|
Translate tfp1 examples without properties and lint poly fol
|
Sep 23, 2013
|
|
|
.travis.yml
|
Update happy on travis
|
Oct 20, 2014
|
|
|
LICENSE
|
Replace the src directory with HipSpec 3.0
|
Jul 29, 2013
|
|
|
README.md
|
Update README about only supporting GHC 7.8
|
Oct 21, 2014
|
|
|
Setup.hs
|
First scratch on designing a core language
|
Jun 15, 2013
|
|
|
hipspec.cabal
|
Add a proper build-depends on ghc
|
Jan 27, 2015
|
|
|
run_tests.sh
|
Travis tweaks
|
Oct 13, 2014
|