added some agda getting started notes