Permalink
Commits on Mar 19, 2014
  1. Wadler's examples are also now code complete.

    Meredith Gregory
    Meredith Gregory committed Mar 19, 2014
  2. cps transform is code complete

    Meredith Gregory
    Meredith Gregory committed Mar 19, 2014
  3. Added summation to cps translation

    Meredith Gregory
    Meredith Gregory committed Mar 19, 2014
  4. Got the core lambda calculus to cps compiling

    Meredith Gregory
    Meredith Gregory committed Mar 19, 2014
Commits on Mar 17, 2014
  1. Added roundtrippable string display method for CnxnCtxtLabel

    Meredith Gregory
    Meredith Gregory committed Mar 17, 2014
Commits on Mar 14, 2014
  1. Converted writer monad implementation

    Meredith Gregory
    Meredith Gregory committed Mar 14, 2014
Commits on Mar 13, 2014
  1. Added evidence-based approach for MonadPlus and FilteredMonad

    Meredith Gregory
    Meredith Gregory committed Mar 13, 2014
Commits on Mar 12, 2014
  1. Cleaning up according to the new factorization.

    Meredith Gregory
    Meredith Gregory committed Mar 12, 2014
  2. Rewrote the state monad using the evidence-based factorization.

    Meredith Gregory
    Meredith Gregory committed Mar 12, 2014
  3. Provided a new factorization of the monad api, together with implemen…

    Meredith Gregory
    Meredith Gregory committed Mar 12, 2014
    …tations of the continuation monad and the parser monad using it.
Commits on Jan 16, 2014
  1. Small fix to typing of substitution

    Meredith Gregory
    Meredith Gregory committed Jan 16, 2014
  2. Added really basic version of substitution

    Meredith Gregory
    Meredith Gregory committed Jan 16, 2014
Commits on Jan 14, 2014
  1. Added missing map update

    Meredith Gregory
    Meredith Gregory committed Jan 14, 2014
  2. Workaround for the no-coverter for atom in prolog4j issue

    Meredith Gregory
    Meredith Gregory committed Jan 14, 2014
  3. Unified the logging in matchMap

    Meredith Gregory
    Meredith Gregory committed Jan 14, 2014
  4. Added more logging info in matchMap

    Meredith Gregory
    Meredith Gregory committed Jan 14, 2014
Commits on Jan 13, 2014
  1. Added more reporting

    Meredith Gregory
    Meredith Gregory committed Jan 13, 2014
  2. Fixed a reporting issue

    Meredith Gregory
    Meredith Gregory committed Jan 13, 2014
  3. Added tracing for the missing bingings issue

    Meredith Gregory
    Meredith Gregory committed Jan 13, 2014
Commits on Jan 10, 2014
  1. Disambiguating put from publish semantics in calls to mongo

    Meredith Gregory
    Meredith Gregory committed Jan 10, 2014
Commits on Jan 9, 2014
  1. One way to address the insert race

    Meredith Gregory
    Meredith Gregory committed Jan 9, 2014
Commits on Jan 8, 2014
  1. Removed a spurious depart

    Meredith Gregory
    Meredith Gregory committed Jan 8, 2014
Commits on Jan 2, 2014
  1. Fixed a race in the subscribe case

    Meredith Gregory
    Meredith Gregory committed Jan 2, 2014
Commits on Dec 11, 2013
  1. Fixed a bug in partialCaseClassDerivative

    Meredith Gregory
    Meredith Gregory committed Dec 11, 2013
  2. Fixed a small bug in the partialCaseClassDerivative extension

    Meredith Gregory
    Meredith Gregory committed Dec 11, 2013
Commits on Nov 28, 2013
  1. Put in workarounds for a scala compiler issue

    Meredith Gregory
    Meredith Gregory committed Nov 28, 2013
  2. Fixed an exception reporting error

    Meredith Gregory
    Meredith Gregory committed Nov 28, 2013
Commits on Nov 9, 2013
  1. Added missing storeKQuery in subscriptionCase

    Meredith Gregory
    Meredith Gregory committed Nov 9, 2013
Commits on Nov 7, 2013
  1. Adding js mode snapshot

    Meredith Gregory
    Meredith Gregory committed Nov 7, 2013
  2. emacs modes used

    Meredith Gregory
    Meredith Gregory committed Nov 7, 2013
  3. Adding emacs configuration

    Meredith Gregory
    Meredith Gregory committed Nov 7, 2013
Commits on Nov 4, 2013
  1. Fixed some logging

    Meredith Gregory
    Meredith Gregory committed Nov 4, 2013
Commits on Oct 31, 2013
  1. Put back the non-departing in RetainInStore case

    Meredith Gregory
    Meredith Gregory committed Oct 31, 2013
Commits on Oct 30, 2013
  1. Fixed other branches missing departs -- note bene -- does the client …

    Meredith Gregory
    Meredith Gregory committed Oct 30, 2013
    …ever depart on behalf of this code in the RetainInStore case?