2010-12-22 | Christian Urban | slight tuning | changeset | files |
2010-12-22 | Christian Urban | tuned examples | changeset | files |
2010-12-22 | Christian Urban | added fold_right which produces the correct term for left-infix operators | changeset | files |
Loading... |