git.iko.soy/Idris-dev
on 4e34dfd help sign in
history oflibs/base/Control/Monad/Reader.idr
all commits
44bdf1dChanged (<$>) to (<*>)Tenor Biel 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