../ AbsSyntax.hsTweak linearity checker to deal with overloaded names properly14 years ago AbsSyntaxTree.hsMerge branch 'ImprovedReflection' of https://github.com/JanBessai/Idris-dev into JanBessai-ImprovedReflection14 years ago Compiler.hsmake TT aware of Set -> Type14 years ago Completion.hsFull TT reflection and reification14 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.hsFix collapsibility bug14 years ago Delaborate.hsImprove :t for names, rendering implicits and class constraints14 years ago Docs.hsbetter lookup for operators14 years ago ElabDecls.hsFix collapsibility bug14 years ago ElabTerm.hsMerge branch 'ImprovedReflection' of https://github.com/JanBessai/Idris-dev into JanBessai-ImprovedReflection14 years ago Error.hsReorder the monad transformers in the Idris monad to allow completion14 years ago Help.hsadd command to change current directory14 years ago IBC.hsIBC Version number bump14 years ago Imports.hsAdding support for Windows MingW3214 years ago Parser.hsDisallow laziness annotations below top level (since they don't work there) Handles issue #26314 years ago Primitives.hsFix missing case in Idris.Primitives.p_strLen14 years ago Prover.hsFix error with linearity checking in patterns14 years ago Providers.hsAdd type provider errors + test case14 years ago REPL.hsImprove :t for names, rendering implicits and class constraints14 years ago REPLParser.hsadd command to change current directory14 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