Idris.Primitives

primitives

data Prim