This repository contains notes I took and exercises I completed while working through Programming Language Foundations in Agda.
matthew-healy / plfa Goto Github PK
View Code? Open in Web Editor NEWNotes and exercises from Programming Language Foundations in Agda