Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on May 17, 2012
  1. Updated README; other tweaks.

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

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

    authored
    … generating new concrete terms for ungeneralized terms.
  2. Remove unused stuff.

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

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