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