git.iko.soy/Idris-dev
on bf4e535 help sign in
history oflibs/effects/Effect/Memory.idr
all commits
2d563b0Changed <$ and $> to <* and *>Tenor Biel d5377beNew language-dependent FFIEdwin Brady 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady fe569c4Finished making standard library naming consistentAhmad Salim Al-Sibahi ced7733Replace 'effects' with neweffectsEdwin Brady 6b69961Rename 'effect' to 'call'Edwin Brady e7a35e9Remove implicit qualifier for 'effect'Edwin Brady 4ba5460Make 'neweffects' the official effects packageEdwin Brady 7e885b3Disallow explicit types on LHSEdwin Brady 5e7fc5dAdd 'byReflection' tacticEdwin Brady 40924dcMoved libraries around, removed 'effects' flagEdwin Brady