../ Control/moved morphisms to lib/Data14 years ago Data/moved morphisms to lib/Data14 years ago Language/uppercase modulenames14 years ago Network/Fix name clashes between holes and bound variables14 years ago Prelude/flatten for monads14 years ago System/Type safe message passing concurrency14 years ago Builtins.idr'par' primitive in builtins (not yet implemented)14 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.idrChange comment rules Comments cannot begin '{-|' or '--|'. This is now reserved for documentation comments, which will be part of the syntax to support documentation at the REPL.14 years ago System.idrLibrary now builds with "--total"14 years ago base.ipkgmoved morphisms to lib/Data14 years ago