Max S. New ⚜️ on Nostr: nprofile1q…4rrqe nprofile1q…8a7rw yeah for that reason I might only cover ...

nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe (nprofile…rrqe) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrgd7heng7z3cv2f6ddtm8zqxx3rxwh84wvk27nus3rl9qq9endsqr8a7rw (nprofile…a7rw) yeah for that reason I might only cover recursive functions for the realizability portion and cover recursive functions and types using DCPOs