git.iko.soy/Idris-dev
on c2efadd help sign in
Idris-dev/lib
8 folders, 8 files
../ Control/rename fmap to map Data/rename fmap to map Debug/Add Debug.Trace Decidable/Add DecEq instances for list and tuple Language/rename fmap to map Network/rename fmap to map Prelude/rename fmap to map System/rename fmap to map Builtins.idrAdd Num and Show instances for the new(ish) arithmetic types IO.idrFTy convenience names for fixed-width ints MakefileRemove dynamically loaded RTS due to 32/64-bit issues on OS X Prelude.idrMerge branch 'master' of github.com:edwinb/Idris-dev Providers.idrClean up implementation of type providers System.idrFriendly smart constructors for foreign integer types Uninhabited.idrAdded typeclass for uninhabited types base.ipkgAdd type-directed HVect functions and supporting Elem functions