git.iko.soy/Idris-dev
on 2a17e4f help sign in
history ofsrc/Core/Execute.hs
all commits
9af2d93Add type provider errors + test caseDavid Christiansen 29cbd12Minor cleanup and better comment and HaddockDavid Christiansen 918ce77Added getLine support to :xDavid Christiansen 879769aExecute type providers while typecheckingDavid Christiansen 6f7f300Call simple C functionsDavid Christiansen 054c04eFind foreign funcs in libsDavid Christiansen 3a80954%dynamic now works from IBC filesDavid Christiansen 3262127Dynamically load C libraries in REPLDavid Christiansen f5e4128Start of FFI infrastructureDavid Christiansen 82190d3Basics of command to execute IO actions in the interpreterDavid Christiansen ab89bf0Add basic infrastructure for IO support in the interpreterDavid Christiansen