git.iko.soy/Idris-dev
on aeb032a help sign in
history oflibs/base/Control/Monad/Reader.idr
all commits
f754d9cPurify Idris of "return"David Christiansen 0b9a9f8Fix determining arguments of Reader/Writer/RWSEdwin Brady 68c019aChange export qualifier keywordsEdwin Brady 4d0a065Change "class/instance" keywordsEdwin Brady 7e43af7Changed libs to new record syntax.Sune Alkærsig aca1148Merge branch 'master' into agda-style-recordstdidriksen 44bdf1dChanged (<$>) to (<*>)Tenor Biel 6f0aff3Updated standard library to new record syntax.Sune Alkærsig 9680cbcAdd type class and instances for monad transformersTenor Biel bdf04adAdded documentation to Control/Monad filesGreg a338273Remove needless Prelude importsEdwin Brady 40924dcMoved libraries around, removed 'effects' flagEdwin Brady