added agda syntax description