Permalink
Commits on Sep 22, 2018
Commits on Jul 31, 2018
  1. explain fromJust use

    simonmichael committed Jul 31, 2018
Commits on Apr 27, 2018
Commits on Mar 12, 2018
  1. add agda to examples

    simonmichael committed Mar 12, 2018
Commits on Mar 9, 2018
Commits on Jan 14, 2018
  1. rename test files to satisfy hackage

    simonmichael committed Jan 14, 2018
    I thought these filenames were utf8-encoded - maybe not ?
  2. cabal file updates

    simonmichael committed Jan 14, 2018
  3. update contributor list

    simonmichael committed Jan 14, 2018
  4. make changes-show

    simonmichael committed Jan 14, 2018
  5. update changelog for 1.9

    simonmichael committed Jan 14, 2018
  6. git ignore html files

    simonmichael committed Jan 14, 2018
  7. make build-all

    simonmichael committed Jan 14, 2018
  8. doc updates

    simonmichael committed Jan 14, 2018
Commits on Jan 13, 2018
  1. make install

    simonmichael committed Jan 13, 2018
Commits on Jan 12, 2018
  1. directory readmes

    simonmichael committed Jan 12, 2018
  2. cabal file updates

    simonmichael committed Jan 12, 2018
  3. more git ignores

    simonmichael committed Jan 12, 2018
Commits on Dec 5, 2017
Commits on Nov 7, 2017