../ AbsSyntax.hsAdd field for documentation comments in abstract syntax14 years ago AbsSyntaxTree.hsSyntax for documentation comments and :doc REPL command14 years ago Compiler.hsSet up for adding new compiler back ends more easily14 years ago Coverage.hscoverage fix for unhandled cases14 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.hsAdd field for documentation comments in abstract syntax14 years ago Docs.hsFix 'where' lifting bug Make sure functions have unique names when lifted14 years ago ElabDecls.hsFix 'where' lifting bug Make sure functions have unique names when lifted14 years ago ElabTerm.hsAdd field for documentation comments in abstract syntax14 years ago Error.hsStarting unused argument analysis14 years ago IBC.hsAdd field for documentation comments in abstract syntax14 years ago Imports.hsAdd --ibcsubdir option (thanks to Dirk Ullrich)15 years ago Parser.hsSyntax for documentation comments and :doc REPL command14 years ago Primitives.hsAdd field for documentation comments in abstract syntax14 years ago Prover.hsindent proof blocks by 2 spaces14 years ago REPL.hsDisplay useful information on :doc (It's ugly though...)14 years ago REPLParser.hsSyntax for documentation comments and :doc REPL command14 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