Closed marcosh closed 5 years ago
add IO monad over the category of Idris types and functions with extensional equality
add IO monad over the category of Idris types and functions with extensional equality