21 points | by mkckto a day ago ago
2 comments
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...
[flagged]
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...
[flagged]