../ network/Made do notation behave better when bracketed15 years ago prelude/Added more to prelude, specifically in the files either.idr and maybe.idr. Ported most of the (total functions from) the Haskell Prelude relating to these types, as well as commonly used auxilliary functions found in third-party libraries on Hackage.15 years ago MakefileAnother cabal fix15 years ago builtins.idrElaborator tweak, dealing better with values that are inferred automatically15 years ago checkall.idrSome prelude shuffling15 years ago io.idrMaking IO lazy means we need to force an evaluation for anything to happen at all...15 years ago prelude.idrRemove some needless bracketing from if...then...else15 years ago system.idrDebraced rest of lib15 years ago