Hello, A tutorial for Agda can be read online at http://agda.sourceforge.net/tutorial/ and the same as PDF from http://agda.sourceforge.net/document.html We welcome any comment. Ike