2009-11-08 | tom.schrijvers@cs... | more aggressive optimization of coercion terms |
commit | commitdiff | tree |
2009-10-28 | tom.schrijvers@cs... | fix and enable coercion optimization |
commit | commitdiff | tree |
2007-09-06 | Tom Schrijvers | fix for Simple9 |
commit | commitdiff | tree |
2007-09-05 | Tom Schrijvers | also swap for variables in completion algorithm |
commit | commitdiff | tree |
2007-09-04 | Tom Schrijvers | bug fix in Decomp step of completion algorithm for... |
commit | commitdiff | tree |
2007-09-04 | Tom Schrijvers | fix of wanted equational class context |
commit | commitdiff | tree |
2007-05-11 | Tom Schrijvers | type family normalisation |
commit | commitdiff | tree |