GitHub repository: KyleMaclean/Type-Theory
Primary language: Agda
Created: 2022-06-28T19:37:38Z
Description: Functions defined using highly abstracted recursive machinery and propositions defined within the proofs-as-types paradigm.