git.iko.soy/Idris-dev
on 7d42ba2 help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/Cleaned up an old name change for consistency Language/Fix type error in name reflection Prelude/Merge branch 'master' into agda-style-records Builtins.idrPair syntax for unique types IO.idrChanged libs to new record syntax. MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrChanged (<$>) to (<*>) prelude.ipkgBegin implementation of reflected elab monad