git.iko.soy/Idris-dev
on 1b71663 help sign in
history oflibs/effects/Effect/Memory.idr
all commits
f754d9cPurify Idris of "return"David Christiansen 228f56cfindCalls should find constructors tooEdwin Brady e3e35a5New rules for name visibilityEdwin Brady 68c019aChange export qualifier keywordsEdwin Brady 4d0a065Change "class/instance" keywordsEdwin Brady 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