(Notice: This is a self advertisement)
I am writing an Agda tutorial and my primary goal is to
let people to play with Agda without theoretical background.
This tutorial may solve most of your problems:
- tries to explain Agda programming without outer references
- requires only secondary school mathemtaics
- tries to teach programming practices also
It is under development, but the first half is kind of ready.
