Permalink
Switch branches/tags
Nothing to show
Commits on Feb 1, 2018
  1. Parse the set example

    elliottt committed Feb 1, 2018
Commits on Jan 30, 2018
  1. More renamer implementation

    elliottt committed Jan 30, 2018
Commits on Jan 28, 2018
  1. Ignore ghc environment info

    elliottt committed Jan 28, 2018
  2. Ignore the generated parser

    elliottt committed Jan 28, 2018
  3. Parse lambdas

    elliottt committed Jan 28, 2018
Commits on Jan 27, 2018
Commits on Jan 12, 2018
  1. Fix error message formatting

    elliottt committed Jan 12, 2018
Commits on Jan 11, 2018
  1. More syntax fussing

    elliottt committed Jan 11, 2018
Commits on Jan 10, 2018
Commits on Jan 7, 2018
  1. Add a set example

    elliottt committed Jan 7, 2018
Commits on Jan 6, 2018
  1. Output fussing

    elliottt committed Jan 6, 2018
Commits on Jan 5, 2018
  1. Remove some warnings

    elliottt committed Jan 5, 2018
Commits on Sep 15, 2017
Commits on Sep 8, 2017
  1. Checkpoint

    Trevor Elliott
    Trevor Elliott committed Sep 8, 2017
Commits on Jun 25, 2017
  1. Start on renaming, inspired by agda

    Trevor Elliott
    Trevor Elliott committed Jun 25, 2017
  2. Remove the old renamer

    Trevor Elliott
    Trevor Elliott committed Jun 25, 2017
    Remove the old renamer, as the new front-end will only process
    declarations in top-to-bottom order, like ML.
Commits on Jun 23, 2017
  1. Simplify unnecessarily complicated AST

    Trevor Elliott
    Trevor Elliott committed Jun 23, 2017
Commits on Sep 18, 2016
  1. Process some signatures

    Trevor Elliott
    Trevor Elliott committed Sep 18, 2016
  2. Start work on renaming module signatures

    Trevor Elliott
    Trevor Elliott committed Sep 18, 2016
  3. Better panic formatting

    Trevor Elliott
    Trevor Elliott committed Sep 18, 2016
  4. Start working on kind checker

    Trevor Elliott
    Trevor Elliott committed Sep 18, 2016
  5. Start working on typechecking infrastructure

    Trevor Elliott
    Trevor Elliott committed Sep 18, 2016
  6. Test the occurs check

    Trevor Elliott
    Trevor Elliott committed Sep 18, 2016
  7. Zonking and unification

    Trevor Elliott
    Trevor Elliott committed Sep 18, 2016
  8. Change AST form, and start on type checker

    Trevor Elliott
    Trevor Elliott committed Sep 18, 2016
Commits on Aug 27, 2016
  1. Start working through signature resolution

    Trevor Elliott
    Trevor Elliott committed Aug 27, 2016
Commits on Jul 25, 2016
  1. Switch from stack to new-build

    Trevor Elliott
    Trevor Elliott committed Jul 25, 2016
Commits on Apr 1, 2016
  1. Remove debugging output

    Trevor Elliott
    Trevor Elliott committed Apr 1, 2016
  2. Make errors/warnings more obvious with color

    Trevor Elliott
    Trevor Elliott committed Apr 1, 2016
  3. Fix the location of the shadowing warning

    Trevor Elliott
    Trevor Elliott committed Apr 1, 2016