on master help sign in
Update CHANGELOG
commit62b79520d5cb591ab2a30b787870820e253aea9a authorEdwin Brady <ecb10@st-andrews.ac.uk> dateThu 17 Mar 2016, 14:46 (11 years ago) parent773986e
1 file changed+6
CHANGELOG+6
CHANGELOG+6
@@ -23,6 +23,12 @@ in a C function pointer.
2323* C function pointers can be called.
2424* Idris can access pointers to C globals.
2525
26+Effects
27+-------
28+
29+* Effects can now be given in any order in effect lists (there is no need
30+for the ordering to be preserved in sub lists of effects)
31+
2632Elaborator reflection updates
2733-----------------------------
2834