idris

Safe HaskellNone

Idris.IdeSlave

Documentation