2018-07-18 | Mart Lubbers | main program | blob | commitdiff | raw |
2018-07-18 | Mart Lubbers | infer | blob | commitdiff | raw | diff to current |
2018-07-09 | Mart Lubbers | add infix and preamble | blob | commitdiff | raw | diff to current |
2018-07-08 | Mart Lubbers | parser, succinct | blob | commitdiff | raw | diff to current |
2018-07-06 | Mart Lubbers | Initial commit | blob | commitdiff | raw | diff to current |