Agda template

Add some content here.