📖 Meaning for coinduction is being prepared.
Our team is working on adding the translation. Please check back shortly.