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