Skip to content
Commits on Apr 29, 2014
Commits on Mar 14, 2014
  1. examples: wibbles.

    committed Mar 13, 2014
  2. examples: cleanups.

    committed Mar 6, 2014
Commits on Mar 22, 2013
  1. example tweaks.

    committed Mar 22, 2013
Commits on Mar 19, 2013
  1. interface update.

    committed Mar 19, 2013
Commits on Feb 21, 2013
  1. renaming of arguments.

    committed Feb 20, 2013
Commits on Feb 10, 2013
  1. paper updates.

    committed Feb 9, 2013
Commits on Jan 27, 2013
  1. Div0: helper functions.

    committed Jan 26, 2013
Commits on Dec 28, 2012
  1. Div0 example: wibble.

    committed Dec 27, 2012
Commits on Dec 5, 2012
  1. code wibbles.

    committed Dec 4, 2012
Commits on Dec 4, 2012
  1. source wibbles.

    committed Dec 4, 2012
Commits on Nov 12, 2012
  1. Example tweaks.

    committed Nov 12, 2012
Commits on Sep 16, 2012
  1. Minor wibbles.

    committed Sep 16, 2012
Commits on Jun 25, 2012
  1. Tweaks, refactoring.

    committed Jun 24, 2012
Commits on Jun 16, 2012
  1. Bug in Extrapolation.

    committed Jun 15, 2012
Commits on May 26, 2012
Commits on May 25, 2012
  1. import Data.Typeable.

    committed May 24, 2012
  2. Remove dependence on Data.Data.

    committed May 24, 2012
Commits on May 17, 2012
  1. Updated README; other tweaks.

    committed May 17, 2012
Commits on May 10, 2012
Commits on May 3, 2012
  1. Get the examples to compile.

    committed May 2, 2012
Commits on Apr 22, 2012
Commits on Apr 20, 2012
  1. Implemented recursive generalization. Isn't so effective, as QC keeps…

    committed Apr 20, 2012
    … generating new concrete terms for ungeneralized terms.
  2. Remove unused stuff.

    committed Apr 19, 2012
Commits on Apr 19, 2012
  1. Use Property rather than Bool.

    committed Apr 18, 2012
Commits on Apr 17, 2012
Something went wrong with that request. Please try again.