../ AbsSyntax.hsTotality 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 AbsSyntaxTree.hsAdded :l and :m commands to REPL14 years ago Compiler.hsSet up for adding new compiler back ends more easily14 years ago Coverage.hsBring tutorial up to date with new termination checker14 years ago DSL.hsChange meaning of alternative syntax (| a , b , ... |) Now takes the first alternative to elaborate,rather than requiring exactly one to work. Old behaviour reserved for disambiguating namespaces.15 years ago DataOpts.hsAdd collapsing optimisation and more aggressive erasure14 years ago Delaborate.hsShow implicits on incomplete term error14 years ago ElabDecls.hsTotality 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 ElabTerm.hsErase unused arguments when compiling14 years ago Error.hsStarting unused argument analysis14 years ago IBC.hsTotality 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 Imports.hsAdd --ibcsubdir option (thanks to Dirk Ullrich)15 years ago Parser.hsTotality 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 Primitives.hsAdded "codata" Constructors of coinductive types evaluate arguments lazily. Corecursive functions do not reduce at compile time.14 years ago Prover.hsTotality 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 REPL.hsAdded :l and :m commands to REPL14 years ago REPLParser.hsAdded :l and :m commands to REPL14 years ago Transforms.hsuppercase modulenames14 years ago Unlit.hsRemoved need for terminating ; A declaration is now considered terminated on encountering a token in the same column as the declaration began - or on encountering a semicolon. Libraries and some tests updated.15 years ago UnusedArgs.hsMerge branch 'master' of https://github.com/raichoo/Idris-dev14 years ago