My solutions to the exercises for several agda tutorials.