../ Control/rename fmap to map13 years ago Data/Make the parentheses around a with-rule scrutinee mandatory13 years ago Debug/New module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging ar…13 years ago Decidable/Decidable.Equality: "Inline" vectDecEq13 years ago Language/Work around parser bug13 years ago Network/Modifying the System.getEnv function to return IO (Maybe String)13 years ago Prelude/Fix imports and make hexVect local13 years ago System/rename fmap to map13 years ago Builtins.idrPartially defined names should not reduce at compile-time13 years ago IO.idrSeparate IO and PrimIO PrimIO is the internal primitive, IO is the user version which requires an explicit World token to be passed in which programmers have no access to directly. Fixes #185 and fixes #32513 years ago MakefileRefactored the build inside Setup.hs and the various Makefiles.13 years ago Prelude.idrMerge branch 'show-bits-in-language' of https://github.com/reynir/Idris-dev into reynir-show-bits-in-language13 years ago Providers.idrClean up implementation of type providers13 years ago System.idrAdding several functions to interact with environment variables.13 years ago Uninhabited.idrNew module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging ar…13 years ago base.ipkgMake it compile, and use a List instead of a Vect13 years ago