../ Control/an Applicative instance for StateT s f where f is a Monad.14 years ago Data/word 8/16 primitive types14 years ago Debug/Add Debug.Trace14 years ago Language/uppercase modulenames14 years ago Network/Applicative and Functor instances for CGI.14 years ago Prelude/Add a Monoid instance for String.14 years ago System/Functor and Applicative instances for Process.14 years ago Builtins.idr'the' function for inline type annotations14 years ago IO.idrTotality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possible14 years ago Makefileuppercase modulenames14 years ago Prelude.idrMore platform agnostic now14 years ago System.idrLibrary now builds with "--total"14 years ago base.ipkgMerge pull request #114 from raichoo/word14 years ago