git.iko.soy/Idris-dev
on fa29447 help sign in
Idris-dev/lib
8 folders, 8 files
../ Control/Remove "return" from Monad Data/Fix Data.Bits: properly convert to machine-buitin types everywhere. Fix Codegen: Shr is now called LShr, emit that. Debug/Add Debug.Trace Decidable/Added always/Given as a non boolean equivalent for oh/so Language/Formatting improvements Network/Remove "return" from Monad Prelude/New size change graph builder Looks at patterns, rather than case tree, and therefore finds it easier to spot structurally smaller arguments which are more complex. System/Remove "return" from Monad Builtins.idrExpand integer primitive unification to encompass bigints IO.idrjavascript: make FFI work with HOFs MakefileRemove dynamically loaded RTS due to 32/64-bit issues on OS X Prelude.idrRemove "return" from Monad Providers.idrClean up implementation of type providers System.idrFriendly smart constructors for foreign integer types Uninhabited.idrAdded typeclass for uninhabited types base.ipkgFix Data.Bits: properly convert to machine-buitin types everywhere. Fix Codegen: Shr is now called LShr, emit that.