Retrospring is now in read-only mode until September 1st when the site will fully shut down! Read more
It would matter briefly to functional integer enthusiasts in the lisps, but the lambda() -> lambda(lambda()) implication is highly irrelevant to most other aspects of the various languages, expressions, grammars and machines that. As it is the existential query of a not-function that predicates gate logic and not the existence of the specific not-function that would allow for implicit integer transitions from the null set that is required for graph transitions and so on. It would largely impact NFA logic, but so does trying to apply them to NPC problems in the real world.
Retrospring uses Markdown for formatting
*italic text* for italic text
**bold text** for bold text
[link](https://example.com) for link
