2018-05-23 | Mart Lubbers | use debruijn indexing | blob | commitdiff | raw |
2018-05-22 | Mart Lubbers | add strictness | blob | commitdiff | raw | diff to current |
2018-05-18 | Mart Lubbers | literals | blob | commitdiff | raw | diff to current |
2018-05-16 | Mart Lubbers | reduce rules arithmetics in preamble | blob | commitdiff | raw | diff to current |
2018-05-16 | Mart Lubbers | complete preable | blob | commitdiff | raw | diff to current |
2018-05-16 | Mart Lubbers | Change evaluation strategy to normal order | blob | commitdiff | raw | diff to current |