| #
0f6feb87 |
|
01-Aug-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix examples/unificiation/triangular/nominal
|
| #
f24dd063 |
|
08-Jan-2015 |
Michael Norrish <michael.norrish@nicta.com.au> |
Get unification example to build in light of 92317114
|
| #
a2328149 |
|
23-Sep-2011 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Adopt ML-style syntax for case expressions and use freed up "||" for bitwise-or. See issue #24.
|
| #
084da596 |
|
18-Sep-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Get nominal unification to rebuild.
I broke the master branch with the perm_type changes, which I didn't
remember would affect the nominal unification example as well as the
lambda calculus and computability stuff.
|
| #
ca67da47 |
|
02-Sep-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix regression in nominal unification caused by new automatic rewrites.
|
| #
c26105ad |
|
14-Apr-2011 |
Ramana Kumar <ramana.kumar@gmail.com> |
New examples: unification algorithms in accumulator-passing style
|