git.iko.soy/Idris-dev
on cfd6dbc help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/Cleaned up an old name change for consistency Language/Start of defining functions in Tactical Prelude/Add 'determining parameters' for classes Builtins.idrPair syntax for unique types IO.idrSupport IO in foreign exports MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrAddress semantic differences in putting things to STDOUT. prelude.ipkgBegin implementation of reflected elab monad