Jon Sterling on Nostr: nprofile1q…s3zl5 nprofile1q…8a7rw I would say that teaching recursive types in ...

nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrqdy46jm74eknz3523gqy4t88gmwsk05xuqwwkz4h8qnznqrz7h5fs3zl5 (nprofile…3zl5) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrgd7heng7z3cv2f6ddtm8zqxx3rxwh84wvk27nus3rl9qq9endsqr8a7rw (nprofile…a7rw) I would say that teaching recursive types in Mod is probably pretty difficult to do and will require a lot of knowledge of SDT anyway. To be clear, Mod itself doesn’t have recursive types or general recursion. It is rather a reflective subuniverse of Mod that has this stuff, and this reflective subuniverse is defined using the methods of SDT.