That was the most enjoyable and accessible introduction to Agda that I have ever seen. If you are the creator, please continue the development of the tutorial.