git.iko.soy/Idris-dev
on d8fd36a help sign in
Idris-dev/libs/base/Control/Monad
6 files
../ Identity.idrChange export qualifier keywords RWS.idrPurify Idris of "return" Reader.idrPurify Idris of "return" State.idrPurify Idris of "return" Trans.idrChange export qualifier keywords Writer.idrPurify Idris of "return"