git @ Cat's Eye Technologies Lanthorn / 6970463
Mention @xavierpinho 's writeup in "Related work" section. Chris Pressey 6 months ago
1 changed file(s) with 8 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all
9292 it makes. It also sets up some bindings outside of these functions
9393 to that the body of the `letrec` sees functions with the original
9494 parameters they had, hiding all these extra parameters.
96 Related Work
97 ------------
99 [Xavier Pinho]( has written up an
100 alternative way of transforming `letrec` into `let`, using
101 surjective pairing and the Y combinator, in
102 [an issue on the Lanthorn project on GitHub](
96104 Appendix A
97105 ----------