../ AbsSyntax.hsAdd syntax for language extensions and turn off type providers by default14 years ago AbsSyntaxTree.hsAdd syntax for language extensions and turn off type providers by default14 years ago Compiler.hsmake TT aware of Set -> Type14 years ago Completion.hsunify help and completion of REPL - previously they were not in sync, now it is one lookup table14 years ago Coverage.hsFix comedy error in 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.hsArguments under type constructors are not forceable!14 years ago Delaborate.hsAdded rewrite ... in ... construct rewrite prf in v rewrites the goal type using prf. It is equivalent to applying replace, without the need to provide a predicate. It works by applying the rewrite tactic with prf before elaborating v.14 years ago Docs.hsbetter lookup for operators14 years ago ElabDecls.hsAdd syntax for language extensions and turn off type providers by default14 years ago ElabTerm.hsAdded rewrite ... in ... construct rewrite prf in v rewrites the goal type using prf. It is equivalent to applying replace, without the need to provide a predicate. It works by applying the rewrite tactic with prf before elaborating v.14 years ago Error.hsReorder the monad transformers in the Idris monad to allow completion14 years ago Help.hsCompletion and help for :dynamic at the REPL14 years ago IBC.hsMerge remote-tracking branch 'upstream/master' into providers14 years ago Imports.hsAdding support for Windows MingW3214 years ago Parser.hsAdd syntax for language extensions and turn off type providers by default14 years ago Primitives.hsadded forgotten LStrLen primitive and length function for String14 years ago Prover.hsFix error with linearity checking in patterns14 years ago Providers.hsExecute type providers while typechecking14 years ago REPL.hsAdd syntax for language extensions and turn off type providers by default14 years ago REPLParser.hsDynamically load C libraries in REPL14 years ago Transforms.hsuppercase modulenames14 years ago Unlit.hsFix Unlit to cope with documentation comment syntax14 years ago UnusedArgs.hsReorder the monad transformers in the Idris monad to allow completion14 years ago