Permalink
Commits on Oct 23, 2018
Commits on Oct 13, 2018
  1. Update runtime.

    gdotdesign committed Oct 13, 2018
Commits on Sep 20, 2018
  1. Update README.md

    gdotdesign committed Sep 20, 2018
Commits on Sep 19, 2018
  1. Merge pull request #96 from kingsleyh/master

    gdotdesign committed Sep 19, 2018
    provide option to disable service workers on build
Commits on Sep 18, 2018
  1. comply with the style guide

    Kingsley Hendrickse
    Kingsley Hendrickse committed Sep 18, 2018
  2. provide option to disabled service workers on build

    Kingsley Hendrickse
    Kingsley Hendrickse committed Sep 18, 2018
Commits on Sep 10, 2018
  1. Make PWA work finally :D

    gdotdesign committed Sep 10, 2018
Commits on Sep 9, 2018
  1. Update documentation viewer files.

    gdotdesign committed Sep 9, 2018
  2. Bump version.

    gdotdesign committed Sep 9, 2018
  3. Update scaffold.

    gdotdesign committed Sep 9, 2018
  4. Use Comparer in sequence and parallel type checker.

    gdotdesign committed Sep 9, 2018
  5. Add missing spaces to compiled sequence code.

    gdotdesign committed Sep 9, 2018
Commits on Sep 8, 2018
  1. Fixed a bug resolving html components.

    gdotdesign committed Sep 8, 2018
Commits on Sep 6, 2018
  1. Make sure results are properly unwrapperd in sequence and parallel ex…

    gdotdesign committed Sep 6, 2018
    …pressions.
  2. Format empty fragments.

    gdotdesign committed Sep 6, 2018
  3. Merge branch 'master' into development

    gdotdesign committed Sep 6, 2018
Commits on Sep 5, 2018
  1. Merge pull request #89 from wisn/improve-comment

    gdotdesign committed Sep 5, 2018
    Improve parser for block-comment
  2. Improve block-comment parser

    wisn committed Sep 5, 2018
  3. Merge pull request #88 from DanielSokil/master

    gdotdesign committed Sep 5, 2018
    Initialize project in current directory
Commits on Sep 4, 2018
  1. Quick update

    DanielSokil committed Sep 4, 2018
  2. Update tests.

    gdotdesign committed Sep 4, 2018