GitHub repository: stefan-hoeck/idris2-prim
Primary language: Idris
Created: 2022-03-12T03:53:23Z
Description: Axioms and Propositions for Primitives in Idris2