2018-05-16 | Mart Lubbers | reduction optimization | blob | commitdiff | raw |
2018-05-16 | Mart Lubbers | reduce rules arithmetics in preamble | blob | commitdiff | raw | diff to current |
2018-05-16 | Mart Lubbers | Change evaluation strategy to normal order | blob | commitdiff | raw | diff to current |
2018-05-16 | Mart Lubbers | Fix reduction, add declarations | blob | commitdiff | raw | diff to current |
2018-05-15 | Mart Lubbers | Initial commit | blob | commitdiff | raw | diff to current |