@@ -23,6 +23,12 @@ in a C function pointer.
23* C function pointers can be called.
23* C function pointers can be called.
24* Idris can access pointers to C globals.
24* Idris can access pointers to C globals.
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)
26Elaborator reflection updates
32Elaborator reflection updates
27-----------------------------
33-----------------------------