GitHub repository: pigworker/Totality
Primary language: Agda
Created: 2015-01-29T11:49:51Z
Description: being the programs and code for a paper about general recursion