Arend Tutorial Solved This repo contains my solutions for the Arend tutorial. Running Import arend.yaml in IntelliJ using the excellent Arend plugin.