rodrigogribeiro/agda-software-foundations — pull request #5 by NOTtheMessiah (2014-03-28 04:13:13+00:00)
Title: Update Basics.lagda

2 typos, and a misnamed variable