git.iko.soy/Idris-dev
on 13d63e3 help sign in
Idris-dev/libs/prelude
2 folders, 5 files
../ Decidable/Docs for decEq Prelude/Change guardedness check for new-style coinduction Builtins.idrAnnotate 'Lazy' with reason for laziness IO.idrAdd some docstrings MakefileFix .PHONY targets in Makefiles Prelude.idrMore docstrings prelude.ipkgAdd Uninhabited to Prelude