2018-05-22 | Mart Lubbers | add strictness | blob | commitdiff | raw |
2018-05-18 | Mart Lubbers | Supposedly streameing | blob | commitdiff | raw | diff to current |
2018-05-17 | Mart Lubbers | better printing | blob | commitdiff | raw | diff to current |
2018-05-17 | Mart Lubbers | Merge branch 'master' of git.martlubbers.net:lambda | blob | commitdiff | raw | diff to current |
2018-05-17 | Mart Lubbers | add alpha renaming | blob | commitdiff | raw | diff to current |
2018-05-16 | Mart Lubbers | remove header | blob | commitdiff | raw | diff to current |
2018-05-15 | Mart Lubbers | Initial commit | blob | commitdiff | raw | diff to current |