git.iko.soy/Idris-dev
on 78c76fe help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/Cleaned up an old name change for consistency Language/Quasiquotes for Raw terms Prelude/Fix docstring syntax for string functions Builtins.idrPair syntax for unique types IO.idrAdd %used pragma MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrInitial support for JS in new ffi prelude.ipkgBegin implementation of reflected elab monad