git.iko.soy/Idris-dev
on ffdb074 help sign in
Idris-dev/libs/base
8 folders, 4 files
../ Control/Fix parameter propagation Data/shortcut to obtain the target type of a function Debug/Remove needless Prelude imports Decidable/Decidable instance for FinLTE Language/Change 'run' in neweffects to add defaults Network/Added Network.Sockets Syntax/Add syntax for Agda-style reasoning over preorders System/Remove | annotation, make Force/Delay implicit MakefileFix .PHONY targets in Makefiles Providers.idrPostulate providers System.idrAdd 'time' function base.ipkgAdd Uninhabited to Prelude