Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/Lanthorn/
- Merge branch 'master' of https://codeberg.org/catseye/Lanthorn Chris Pressey 1 year, 1 month ago
- Remove unnecessary links. Chris Pressey 1 year, 1 month ago
- Remove unused function. Chris Pressey 1 year, 9 months ago
- Remove unused import. Chris Pressey 1 year, 9 months ago
- Fix a typo and add a see-also link. Chris Pressey 1 year, 9 months ago
- Update Haskell code to pass all tests under the Hugs interpreter. Chris Pressey 2 years ago
- Update README.md Chris Pressey (commit: GitHub) 3 years ago
- Mention @xavierpinho 's writeup in "Related work" section. Chris Pressey 3 years ago
- The transformation makes more effort at hygiene, with name-mangling. Chris Pressey 3 years ago
- A point of syntax. Chris Pressey 3 years ago
- Add failing tests for the shadow-avoiding name-mangling. Chris Pressey 3 years ago
- Allow `letrec` to bind functions that differ in their arity. Chris Pressey 3 years ago
- Note the things in the source that will need to be fixed. Chris Pressey 3 years ago
- Fix syntax error in test case (but the problem is much deeper). Chris Pressey 3 years ago
- Add three more tests, one of which fails. Chris Pressey 3 years ago
- Properly handle `letrec` of functions with more than one argument. Chris Pressey 3 years ago
- Desugar `letrec` when it appears inside plain `let` as well. Chris Pressey 3 years ago
- Nitpicks. Chris Pressey 3 years ago
- Failing test cases for `letrec` nested inside plain `let`. Chris Pressey 3 years ago
- One more test for nested `letrec`. Chris Pressey 3 years ago
- Add two tests for nesting `letrec`s inside other `letrec`s. Chris Pressey 3 years ago
- Move test appliance to an appliance file a la idiomatic Falderal. Chris Pressey 3 years ago
- Add "see also" bar to top of README. Chris Pressey 3 years ago
- Add MIT license. Chris Pressey 3 years ago
- Add README containing description of transformation, and tests. Chris Pressey 3 years ago
- Add letrec version of factorial example program. Chris Pressey 3 years ago
- Initial import of files for Lathorn (demo of desugaring letrec). Chris Pressey 3 years ago