exe:idris

Dependencies

• base lib:base >=0
• filepath lib:filepath >=0
• haskeline lib:haskeline >=0.7
• idris lib:idris >=0
• transformers lib:transformers >=0

Reverse dependencies

None.