A Simple Introduction to Agda

This provides a brief overview to the basics of creating an Agda program in Emacs, including the creation of data-types and functions, holes, case-...