repositories / lambda.git / history
| 2018-05-17 | Mart Lubbers | Merge branch 'master' of git.martlubbers.net:lambda | blob | commitdiff | raw |
| 2018-05-17 | Mart Lubbers | add alpha renaming | blob | commitdiff | raw |
| 2018-05-16 | Mart Lubbers | ADd printing of decls | blob | commitdiff | raw | diff to current |
| 2018-05-16 | Mart Lubbers | Change evaluation strategy to normal order | blob | commitdiff | raw | diff to current |
| 2018-05-16 | Mart Lubbers | Support multiargument lambda's | blob | commitdiff | raw | diff to current |
| 2018-05-16 | Mart Lubbers | Fix reduction, add declarations | blob | commitdiff | raw | diff to current |
| 2018-05-15 | Mart Lubbers | Initial commit | blob | commitdiff | raw | diff to current |