2021-09-08 | Mart Lubbers | clean up even more | commit | commitdiff |
2021-09-07 | Mart Lubbers | use Q style | commit | commitdiff |
2021-09-02 | Mart Lubbers | cleanup | commit | commitdiff |
2021-09-01 | Mart Lubbers | cleanup compactify, improve | commit | commitdiff |
2021-08-27 | Mart Lubbers | first order simple patterns | commit | commitdiff |
2021-08-26 | Mart Lubbers | quasiquoting for patterns | commit | commitdiff |
2021-08-26 | Mart Lubbers | add datatype generation DSL stuff | commit | commitdiff |