git.iko.soy/Idris-dev
on e2616ed help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/Change export qualifier keywords Language/Implement DecEq TTName Prelude/Allow setting function flags on instances Builtins.idrNew implementation of rewrite 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