| #
0828e261 |
|
05-Nov-2015 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Get ntermLib to compile.
The fact that Poly/ML builds weren't catching the error is demonstration
that this code is never actually used.
|
| #
b042f99e |
|
03-Aug-2012 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Patch aimed at fixing failure of level 2 build.
|
| #
a332333c |
|
17-Sep-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Progress towards getting nominal unification to rebuild.
I didn't remember that this stuff depended on the nominal theory in
examples/lambda, so I didn't check that it worked before I merged in the
changes of the perm_type branch.
|
| #
c26105ad |
|
14-Apr-2011 |
Ramana Kumar <ramana.kumar@gmail.com> |
New examples: unification algorithms in accumulator-passing style
|