Permalink
Switch branches/tags
Nothing to show
Commits on Apr 3, 2015
  1. Actually improve README

    committed Apr 3, 2015
  2. Typo.

    committed Apr 3, 2015
  3. Improve readme.

    committed Apr 3, 2015
Commits on Jan 26, 2014
  1. Added the runtimes to a Runtime directory

    Luke Palmer committed Jan 26, 2014
Commits on Nov 19, 2012
  1. Fixed the last? bug in quotation

    Luke Palmer committed Nov 19, 2012
  2. Fixed bug in quotation

    Luke Palmer committed Nov 19, 2012
  3. Added quotation to the parser.

    Luke Palmer committed Nov 19, 2012
Commits on Nov 18, 2012
Commits on Jan 17, 2011
  1. Added some scott encodings of products and coproducts.

    Luke Palmer committed Jan 17, 2011
Commits on Jan 3, 2011
  1. Added an interpreter in the new syntax. Not sure the easiest way to t…

    …est stacks. BTW, "pul" stands for "pure untyped lambda (calculus)"
    Luke Palmer committed Jan 3, 2011
  2. Added a parser.

    Luke Palmer committed Jan 3, 2011
  3. Added a version bound on base to avoid deprecation warnings. Changed …

    …-O2 to -O.
    Luke Palmer committed Jan 3, 2011
Commits on Dec 31, 2010
  1. create a simple .cabal project

    jmcarthur committed Dec 31, 2010
  2. Updated Naive to use Data.Supply for name allocation instead of ST, s…

    …o it can be lazier. Still not lazy enough.
    Luke Palmer committed Dec 31, 2010
  3. Merge branch 'master' of https://github.com/geezusfreeek/vatican

    Conflicts:
    	InterpreterStack.hs
    Luke Palmer committed Dec 31, 2010
Commits on Dec 30, 2010
  1. Added type parameter to DeBruijn.

    Luke Palmer committed Dec 30, 2010
  2. Updated usage.

    Luke Palmer committed Dec 30, 2010
  3. Added IORefRef as an alternative to IndirRef.

    There doesn't appear to be an asymptotic difference at the moment, and
    IORef is significantly faster.
    Luke Palmer committed Dec 30, 2010
Commits on Dec 29, 2010
  1. Moved some stuff around.

    Luke Palmer committed Dec 29, 2010
Commits on Dec 28, 2010
  1. Made the test program slightly less trivial.

    Luke Palmer committed Dec 28, 2010
  2. "Haskell" --> "GHC".

    Luke Palmer committed Dec 28, 2010
  3. Added readme.

    Luke Palmer committed Dec 28, 2010
  4. Document purpose of the new modules.

    Luke Palmer committed Dec 28, 2010
  5. Added a timing measuring script.

    Luke Palmer committed Dec 28, 2010
  6. Thyer interpreter appears to be working... wow.

    Luke Palmer committed Dec 28, 2010
  7. Partially coded thyer specializer.

    Luke Palmer committed Dec 28, 2010
  8. Remove unused language directive.

    Luke Palmer committed Dec 28, 2010
  9. Allow choice of interpreter at command line.

    Luke Palmer committed Dec 28, 2010
  10. Moving shit around.

    Luke Palmer committed Dec 28, 2010