2010-04-14 | Christian Urban | temporary fix for CoreHaskell | file | diff | annotate |
2010-04-09 | Christian Urban | changed the eqvt-tac to move only outermost permutations inside; added tracing infrastructure for the eqvt-tac | file | diff | annotate |
2010-04-03 | Christian Urban | added README and moved examples into separate directory | file | diff | annotate | base |