Software Foundations A translation of Pierce's Coq book Software foundations to Agda. This is just an adaptation of the previous cited book.