../ Control/Change 'module Prelude.Catchable to 'module Control.Catchable'13 years ago Data/Normalise everything before 'with' abstraction12 years ago Debug/Add documentation in new format for various libs13 years ago Decidable/Congruence over a single function instead of all functions13 years ago Language/Added tactic for case analysis. Also, induction now work on expressions instead of simply names.12 years ago Network/Update Network library12 years ago Syntax/Add syntax for Agda-style reasoning over preorders13 years ago System/Updated inline comments to new style function documentation.12 years ago MakefileModified makefiles to add local IdrisDoc generation.12 years ago Providers.idrDistinguish postulate providers and type providers at use site12 years ago System.idradd system FFun to base/System12 years ago base.ipkgAdd a prim__systemInfo primitive.12 years ago