git.iko.soy/Idris-dev
on 54e4e41 help sign in
history oflibs/base/Control/Monad/Reader.idr
all commits
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