Arend Tutorial Source code & exercises in Arend's tutorial. Part I See index.ard and the online tutorial.