../ AbsSyntax.hsFix elaboration of higher order dependent function types Fixes issue #11614 years ago AbsSyntaxTree.hsFix elaboration of higher order dependent function types Fixes issue #11614 years ago Compiler.hsSet up for adding new compiler back ends more easily14 years ago Coverage.hsBetter strategy for building case trees at compile time14 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.hsUndo a change in error rendering that was only for debugging...14 years ago Docs.hsbetter lookup for operators14 years ago ElabDecls.hsFix elaboration of higher order dependent function types Fixes issue #11614 years ago ElabTerm.hsFix scoping error in proof scripts Fixes issue #10614 years ago Error.hsAllow inference of Sets at REPL14 years ago IBC.hsword 8/16 primitive types14 years ago Imports.hsAdding support for Windows MingW3214 years ago Parser.hsword 8/16 primitive types14 years ago Primitives.hsRemove reference to W32 (temporarily)14 years ago Prover.hsFix pattern variable problem when patterns generated by unification14 years ago REPL.hsAdded the ability to dump bytecode to a file14 years ago REPLParser.hsAdding support for Windows MingW3214 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