idris

Safe HaskellNone

IRTS.CodegenC

Documentation