git.iko.soy/Idris-dev
on fa9f021 help sign in
Idris-dev/libs/prelude
2 folders, 5 files
../ Decidable/Add DecEq instance for string Prelude/Remove ?: syntax Builtins.idrAdd assert_total function IO.idrImplicit "module Main" added MakefileFix .PHONY targets in Makefiles Prelude.idrForeign pointer equality prelude.ipkgLibrary changes: Please read details below!