git.iko.soy/Idris-dev
on 64fc043 help sign in
Idris-dev/lib
6 folders, 6 files
../ Control/extended morphisms/categories/arrows Data/extended morphisms/categories/arrows Language/uppercase modulenames Network/Fix name clashes between holes and bound variables Prelude/flatten for monads System/Type safe message passing concurrency Builtins.idrMake believe_me abstract 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 possible Makefileuppercase modulenames 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. System.idrLibrary now builds with "--total" base.ipkgmoved morphisms to lib/Data