Permalink
Commits on Mar 16, 2012
Commits on Mar 2, 2012
  1. Drop the type system and Puns (a form of type coercion) because I've …

    …proven it somewhat useless
    committed Mar 2, 2012
Commits on Mar 1, 2012
  1. CPS core linter, explicit support for existential datacons in GHC cor…

    …e (simplifies FromGHC), fix apparent bug with unboxed tuples containing voids, comments
    committed Mar 1, 2012
  2. Better pretty printer, example with ADT and unboxed tuples, changes t…

    …o Core language necessary for polymorphic Data
    committed Mar 1, 2012
  3. Add pretty-printer and fix the minor bugs that were preventing the ex…

    …ample from translating and running
    committed Mar 1, 2012
Commits on Feb 29, 2012
  1. Rename cabal file

    committed Feb 29, 2012
  2. Remove redundant dos

    committed Feb 29, 2012
  3. New, untyped, CPS core

    committed Feb 29, 2012
Commits on Feb 28, 2012
  1. Checkpoint

    committed Feb 28, 2012
  2. Initial commit

    committed Feb 28, 2012