Commits on Jan 27, 2015
  1. Add a proper build-depends on ghc

    committed Jan 27, 2015
Commits on Oct 21, 2014
  1. Fix import mistake in Utils.hs

    committed Oct 21, 2014
  2. Update hipspec.cabal

    Fix typo
    committed Oct 21, 2014
  3. Always build with pretty-show

    committed Oct 21, 2014
  4. Add another CFG example

    committed Oct 21, 2014
Commits on Oct 20, 2014
  1. Bump void version

    committed Oct 20, 2014
  2. Update happy on travis

    committed Oct 20, 2014
Commits on Oct 15, 2014
  1. Ok, really do dynamic on old GHC [10]

    Also don't start variables with _, jukebox barfs on them.
    committed Oct 15, 2014
  2. Try installing alex on travis

    committed Oct 15, 2014
  3. Try to fix build on travis

    committed Oct 15, 2014
Commits on Oct 13, 2014
  1. Travis tweaks

    committed Oct 13, 2014
  2. Add E and SPASS

    committed Oct 13, 2014
Commits on Oct 12, 2014
  1. Prove `sum (map length xss) == length (concat xss)`

    Also rename join' to concat
    committed Oct 12, 2014
Commits on Oct 11, 2014
  1. Add more CFG examples

    committed Oct 11, 2014
  2. Try testsuite with alt-ergo, too

    committed Oct 11, 2014
  3. Fix build error on GHC 7.4

    committed Oct 11, 2014
Commits on Oct 10, 2014
  1. Add CFG example

    committed Oct 11, 2014
  2. Add caching

    committed Oct 11, 2014
Commits on Oct 9, 2014
  1. Update README

    committed Oct 9, 2014
  2. Use new unification-fd

    committed Oct 9, 2014
  3. Enable the test suite again

    committed Oct 9, 2014
  4. Support cvc4

    committed Oct 9, 2014
Commits on Sep 30, 2014
  1. Bump genifunctor version

    committed Sep 30, 2014
  2. Fix build on GHC 7.8.3

    committed Sep 30, 2014
Commits on Sep 19, 2014
  1. Use the new stm-promise

    committed Sep 19, 2014
Commits on May 20, 2014
  1. Add a snoc reverse example

    committed May 20, 2014
Commits on May 19, 2014