ImplementingSomeFunctionsAndTheoremsInTheBookTypesAndProgrammingLanguagesByBenjaminPierce

This page contains the report and some code from a CSALL project:

The code is tested and works with Agda version 2.2.2.

Page last modified on June 12, 2009, at 02:46 pm
Powered by PmWiki