fix: casting syntax change from ## #287

magnus-madsen merged 1 commit intoflix:masterflix/book:masterfrom

AndersJensenStudie:updated-castingAndersJensenStudie/flix_docs:updated-castingCopy head branch name to clipboard