repositories / lambda.git / shortlog
| 2018-05-17 | Mart Lubbers | add alpha renaming | commit | commitdiff | tree | snapshot |
| 2018-05-16 | Mart Lubbers | reduction optimization | commit | commitdiff | tree | snapshot |
| 2018-05-16 | Mart Lubbers | remove header | commit | commitdiff | tree | snapshot |
| 2018-05-16 | Mart Lubbers | reduce rules arithmetics in preamble | commit | commitdiff | tree | snapshot |
| 2018-05-16 | Mart Lubbers | ADd printing of decls | commit | commitdiff | tree | snapshot |
| 2018-05-16 | Mart Lubbers | complete preable | commit | commitdiff | tree | snapshot |
| 2018-05-16 | Mart Lubbers | Change evaluation strategy to normal order | commit | commitdiff | tree | snapshot |
| 2018-05-16 | Mart Lubbers | Support multiargument lambda's | commit | commitdiff | tree | snapshot |
| 2018-05-16 | Mart Lubbers | Fix reduction, add declarations | commit | commitdiff | tree | snapshot |
| 2018-05-15 | Mart Lubbers | Initial commit | commit | commitdiff | tree | snapshot |