git.iko.soy/Idris-dev
on bf4e535 help sign in
history oflibs/base/Control/Arrow.idr
all commits
44bdf1dChanged (<$>) to (<*>)Tenor Biel 0cc80c6Merge pull request #1795 from japesinator/arrow_classesEdwin Brady ddfdb2erenamed <#> to prevent naming conflictJP Smith b9de91badded subclasses for ArrowJP Smith 517dad9added default definitions for second, ***, &&&JP Smith d00015bChange 'module Category.Arrow' to 'module Control.Arrow'Paul Koerbitz 40924dcMoved libraries around, removed 'effects' flagEdwin Brady