../ AbsSyntax.hsRemove the unused arg from lookup functions14 years ago AbsSyntaxTree.hsRemove the unused arg from lookup functions14 years ago Compiler.hsmake TT aware of Set -> Type14 years ago Completion.hsFull TT reflection and reification14 years ago Coverage.hsRemove the unused arg from lookup functions14 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.hsRemove the unused arg from lookup functions14 years ago Delaborate.hsMerge branch 'master' of github.com:edwinb/Idris-dev14 years ago Docs.hsRemove the unused arg from lookup functions14 years ago ElabDecls.hsRemove the unused arg from lookup functions14 years ago ElabTerm.hsRemove the unused arg from lookup functions14 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.hsRemove the unused arg from lookup functions14 years ago Imports.hsAdding support for Windows MingW3214 years ago Parser.hsMerge pull request #276 from david-christiansen/lookups14 years ago Primitives.hsFix missing case in Idris.Primitives.p_strLen14 years ago Prover.hsRemove the unused arg from lookup functions14 years ago Providers.hsUpdate type providers so that the decision of failure or otherwise is made in IO14 years ago REPL.hsMerge branch 'master' into providers14 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.hsRemove the unused arg from lookup functions14 years ago