3 ms·
No need for those pesky variable names that make term rewriting clunk either[1]! The entire hygiene problem just disappears. Your style guide section on naming
by User23 4y ago
No need for those pesky variable names that make term rewriting clunk either[1]! The entire hygiene problem just disappears. Your style guide section on naming will also be greatly simplified.
[1] https://en.wikipedia.org//wiki/De_Bruijn_index https://en.wikipedia.org//wiki/De_Bruijn_index
- martyalain 4y agoI agree with you, but so far I have never been able to get into the logic of de Bruijn's clues. As for example John Tromp knows how to do. (https://tromp.github.io/ https://tromp.github.io/) But I don't despair of getting there one day...
- deleted 4y ago[deleted]