git.iko.soy/Idris-dev
on 4e34dfd help sign in
history oflibs/base/Control/Monad/State.idr
all commits
147149bAdd 'determining parameters' for classesEdwin Brady 44bdf1dChanged (<$>) to (<*>)Tenor Biel 9680cbcAdd type class and instances for monad transformersTenor Biel bdf04adAdded documentation to Control/Monad filesGreg f98d138Fix parameter propagationEdwin Brady a338273Remove needless Prelude importsEdwin Brady 40924dcMoved libraries around, removed 'effects' flagEdwin Brady