../ AbsSyntax.hsmake TT aware of Set -> Type14 years ago AbsSyntaxTree.hsImprove elaboration efficiency by cutting down on excessive backtracking14 years ago Compiler.hsmake TT aware of Set -> Type14 years ago Coverage.hsCorrect totality check of f=f, and add regression test14 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.hsMake unification faster by computing HNF rather than normalising14 years ago Docs.hsbetter lookup for operators14 years ago ElabDecls.hsSmall conversion change14 years ago ElabTerm.hsUndo unification changes... because it's broken...14 years ago Error.hsAllow inference of Sets at REPL14 years ago IBC.hsAdd missing Binary cases for bitstring values14 years ago Imports.hsAdding support for Windows MingW3214 years ago Parser.hsMerge branch 'master' of git://github.com/edwinb/Idris-dev into bitstring14 years ago Primitives.hsMerge branch 'master' of git://github.com/edwinb/Idris-dev into bitstring14 years ago Prover.hsA couple of small improvements to termination checking * inlining to help out * %assert_total doesn't allow inlining so as not to break totality for functions which rely on the asserted function * bug fix for mutual recursion - build size graphs before d…14 years ago REPL.hsjavascript: got rid of --javascript use --target14 years ago REPLParser.hsMerge commit '06fffa315afc0d883f36a6ce971df1123aa6d8e3' into javascript14 years ago Transforms.hsuppercase modulenames14 years ago Unlit.hsFix Unlit to cope with documentation comment syntax14 years ago UnusedArgs.hsMerge branch 'master' of https://github.com/raichoo/Idris-dev14 years ago