Permalink
Commits on Jan 10, 2017
  1. Add link to wiki to README

    committed on GitHub Jan 10, 2017
Commits on Jan 9, 2017
  1. Update README

    committed on GitHub Jan 9, 2017
Commits on Jan 7, 2017
  1. Update todo

    committed Jan 7, 2017
  2. Typo in README

    committed on GitHub Jan 7, 2017
  3. Update links to wiki in README

    committed on GitHub Jan 7, 2017
  4. Add links to graph layout issue in README

    committed on GitHub Jan 7, 2017
Commits on Jan 6, 2017
  1. Update tutorial SVG in readme

    committed on GitHub Jan 6, 2017
Commits on Jan 5, 2017
  1. Update Stackage to lts-7.14

    committed Jan 5, 2017
  2. Typo in README

    committed on GitHub Jan 5, 2017
  3. Revise README.md

    committed on GitHub Jan 5, 2017
Commits on Jan 4, 2017
  1. Update tutorial SVG in README

    committed on GitHub Jan 4, 2017
  2. Use customRenderSVG in Main.hs. Change font to monospace. Use optpars…

    …e-applicative for Main.
    committed Jan 4, 2017
  3. Make a custom version of renderSVG that includes the xml:space=preser…

    …ve attribute. This preveres whitespace in svg text.
    committed Jan 4, 2017
Commits on Jan 2, 2017
  1. Update todo.

    committed Jan 2, 2017
  2. Add pattern names to PApp.

    committed Jan 2, 2017
Commits on Jan 1, 2017
  1. Add tuple sections.

    committed Jan 1, 2017
Commits on Dec 30, 2016
Commits on Dec 29, 2016
  1. Revise tutorial.

    committed Dec 29, 2016
Commits on Dec 28, 2016
  1. Refactor makePatternGraph.

    committed Dec 28, 2016
Commits on Dec 27, 2016