2018-05-23 | Mart Lubbers | change printing master | commit | commitdiff |
2018-05-23 | Mart Lubbers | simplify | commit | commitdiff |
2018-05-23 | Mart Lubbers | change eval order | commit | commitdiff |
2018-05-23 | Mart Lubbers | use debruijn indexing | commit | commitdiff |
2018-05-22 | Mart Lubbers | add strictness | commit | commitdiff |
2018-05-17 | Mart Lubbers | add fancy printing | commit | commitdiff |
2018-05-17 | Mart Lubbers | alpha | commit | commitdiff |
2018-05-17 | Mart Lubbers | Merge branch 'master' of git.martlubbers.net:lambda | commit | commitdiff |
2018-05-17 | Mart Lubbers | add alpha renaming | commit | commitdiff |
2018-05-15 | Mart Lubbers | Initial commit | commit | commitdiff |