../ AbsSyntax.hs(Experimental) Create deferred definitions by application14 years ago AbsSyntaxTree.hs(Experimental) Create deferred definitions by application14 years ago Compiler.hsSet up for adding new compiler back ends more easily14 years ago Coverage.hsMinor fixes for inlining and integer literals14 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.hsAllow type annotations on let tactic14 years ago Docs.hsbetter lookup for operators14 years ago ElabDecls.hsMerge pull request #99 from raichoo/master14 years ago ElabTerm.hsPut deferred names in the right namespace14 years ago Error.hsAllow inference of Sets at REPL14 years ago IBC.hsAllow type annotations on let tactic14 years ago Imports.hsAdding support for Windows MingW3214 years ago Parser.hsAllow type annotations on let tactic14 years ago Primitives.hsAdd 'mod' and variants14 years ago Prover.hsFix pattern variable problem when patterns generated by unification14 years ago REPL.hsAdding support for Windows MingW3214 years ago REPLParser.hsAdding support for Windows MingW3214 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