Owen Lynch on Nostr: nprofile1q…4rrqe nprofile1q…52elt Ooof. Are you still implementing Pterodactyl in ...
nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe (nprofile…rrqe) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyq5x367p6m3jgpnpcn32xq77hyg8su4n7lje2j7ymx7qxr5lnc9yj452elt (nprofile…2elt) Ooof. Are you still implementing Pterodactyl in Lean or have you moved to Swift?