2021-09-10 | Mart Lubbers | . | 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 |