2010-03-04 | Christian Urban | more proofs in Abs and work on Core Haskell | file | diff | annotate |
2010-03-03 | Christian Urban | added a lemma that permutations can be represented as sums of swapping | file | diff | annotate |
2010-03-03 | Christian Urban | added ACM style file for ICFP | file | diff | annotate |
2010-03-02 | Christian Urban | added some more examples from Peter Sewell's bestiary | file | diff | annotate |
2010-03-02 | Christian Urban | merged | file | diff | annotate |
2010-03-02 | Christian Urban | added distinctness of perms | file | diff | annotate |
2010-03-02 | Cezary Kaliszyk | Fix equivp. | file | diff | annotate |
2010-03-02 | Cezary Kaliszyk | Fixed eqvt code. | file | diff | annotate |
2010-02-25 | Christian Urban | merged | file | diff | annotate | base |
2010-02-25 | Christian Urban | moved Nominal to "toplevel" | file | diff | annotate | base |