| ▲ | Constructing a Quine from Kleene's Second Recursion Theorem(emarzion.github.io) | |
| 13 points by mkckto 4 hours ago | 1 comments | ||
| ▲ | rssoconnor 2 hours ago | parent [-] | |
Here is a formalization (not mine) of the second recursion theorem in Agda for a somewhat more elaborate language: https://hub.darcs.net/dolio/agda-share/browse/cubical/Kleene... | ||