../ Control/extended morphisms/categories/arrows14 years ago Data/extended morphisms/categories/arrows14 years ago Language/uppercase modulenames14 years ago Network/Fix name clashes between holes and bound variables14 years ago Prelude/Minor fixes for inlining and integer literals14 years ago System/Type safe message passing concurrency14 years ago Builtins.idradded Eq instance for Bool14 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.idrApplicative instance for List.14 years ago System.idrLibrary now builds with "--total"14 years ago base.ipkgmoved morphisms to lib/Data14 years ago