git.iko.soy/Idris-dev
on 75feef7 help sign in
Idris-dev/libs/effects/Effect
1 folder, 12 files
../ Logging/Make a few Show instances parenthesise properly Default.idrChange export qualifier keywords Exception.idrImprove `System.Exit` Fixes #3488. File.idrUpdated documentation for new file effect, and added to the CHANGELOG. Memory.idrPurify Idris of "return" Monad.idrChange export qualifier keywords Perf.idrPurify Idris of "return" Random.idrfix for odd-even bug in random (#4339) Select.idrChange export qualifier keywords State.idrPurify Idris of "return" StdIO.idrChange export qualifier keywords System.idrSet C language standard to C99 in runtime and codegen (#4308) Trans.idrChange export qualifier keywords