git.iko.soy/Idris-dev
on cd8a233 help sign in
Idris-dev/libs/prelude
2 folders, 5 files
../ Decidable/Reformulate decEq for Vect. Prelude/Add useful property to Prelude.Vect: xs ++ [] = xs Builtins.idrtrans doesn't need homogeneous equalities IO.idrRemove prim_io_bind and prim_io_return from run__IO. MakefileFix .PHONY targets in Makefiles Prelude.idrChange 'iota' syntax to allow spaces prelude.ipkgAdd Uninhabited to Prelude