Skip to content
Commits on Oct 31, 2014
  1. added @author comments to the examples

    committed Oct 31, 2014
Commits on Sep 6, 2012
Commits on Sep 5, 2012
  1. Correction to parsing and printing

    - parser.mly: clear type variables after each toplevel query term
    - printing.ml: in PairW and similar cases s_termW should be invoked,
         not s_termW_atom
    committed Sep 5, 2012
Commits on May 17, 2012
  1. clarified comment

    committed May 17, 2012
Commits on Apr 7, 2012
  1. printing of type annotations

    committed Apr 7, 2012
Commits on Apr 2, 2012
  1. typo

    committed Apr 2, 2012
  2. simulation

    committed Apr 2, 2012
Commits on Mar 30, 2012
  1. substitution bug

    committed Mar 30, 2012
Commits on Mar 28, 2012
  1. kierstead example

    committed Mar 28, 2012
  2. readme

    committed Mar 28, 2012
Commits on Mar 26, 2012
  1. formatting

    committed Mar 26, 2012
  2. formatting

    committed Mar 26, 2012
  3. formatting

    committed Mar 26, 2012
  4. .

    committed Mar 26, 2012
  5. source drop

    committed Mar 26, 2012
Something went wrong with that request. Please try again.