jyp/nano-Agda — pull request #1 by danr (2012-03-20 17:50:45+00:00)
Title: Added a small example of Church Nats

However, I could not get sigma-types to work.