git @ Cat's Eye Technologies Lanthorn / homoiconicity-experiment
Merge branch 'master' into homoiconicity-experiment Chris Pressey 16 days ago
1 changed file(s) with 4 addition(s) and 5 deletion(s). Raw diff Collapse all Expand all
+4
-5
README.md less more
11 ========
22
33 Version 1.0 | _Entry_ @ [catseye.tc](https://catseye.tc/node/Lanthorn)
4 | _See also:_ [Lariat](https://github.com/catseye/Lariat#readme)
5 * [Iphigeneia](https://github.com/catseye/Iphigeneia#readme)
4 | _See also:_ [Lariat](https://catseye.tc/node/Lariat)
5 * [Iphigeneia](https://catseye.tc/node/Iphigeneia)
66
77 When I first came across a explanation of how `letrec` works, it was
88 in terms of updating references: each of the names is bound to a cell,
9696 Related Work
9797 ------------
9898
99 [Xavier Pinho](https://github.com/xavierpinho) has written up an
100 alternative way of transforming `letrec` into `let`, using
101 surjective pairing and the Y combinator, in
99 Xavier Pinho has written up an alternative way of transforming `letrec`
100 into `let`, using surjective pairing and the Y combinator, in
102101 [an issue on the Lanthorn project on GitHub](https://github.com/catseye/Lanthorn/issues/1).
103102
104103 Appendix A