git.iko.soy/Idris-dev
on 09a18bf help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/Change export qualifier keywords Language/Merge pull request #3025 from david-christiansen/feature/elab-reflection/datatypes Prelude/Allow setting function flags on instances Builtins.idrNames in sym IO.idrImplement primitives for accessing floats MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrContext for "Can't find implementation" prelude.ipkgRenamed Prelude.Classes to Prelude.Interfaces