Mmmm… iso-recursive types… 😋
Conversation
Replying to
I'm guessing one can add in these folds and unfolds during desugaring or elaboration, without needing to expose them in the surface syntax? 🤔
1
Ohh, nifty!
1
1
What to do though, for structural type definitions… 🤔?
1
1
Yes! Types and Programming Languages. Getting my head around recursive types at last! It's a bit of a mind-bend!
1
1
Show replies