git.iko.soy/Idris-dev
on decad94 help sign in
Idris-dev/src/Idris
22 files
../ AbsSyntax.hsDisentangle Haskeline from the internals Idris AbsSyntaxTree.hsjavascript: split javascript and node target Compiler.hsmake TT aware of Set -> Type Completion.hsCrude support for completion in prover Coverage.hsMake coverage checker a lot faster ...with strategic use of 'nub' so as not to generate a crazy number of clauses! 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. DataOpts.hsArguments under type constructors are not forceable! Delaborate.hsMake unification faster by computing HNF rather than normalising Docs.hsbetter lookup for operators ElabDecls.hsNormalise type before checking it's a valid postulate ElabTerm.hsUndo previous change until I work out why it was important... Error.hsReorder the monad transformers in the Idris monad to allow completion IBC.hsIncrement IBC version Imports.hsAdding support for Windows MingW32 Parser.hsFix for line numbers on type signatures Primitives.hsMerge branch 'master' of git://github.com/edwinb/Idris-dev into bitstring Prover.hsManually track prover history REPL.hsjavascript: split javascript and node target REPLParser.hsjavascript: split javascript and node target Transforms.hsuppercase modulenames Unlit.hsFix Unlit to cope with documentation comment syntax UnusedArgs.hsReorder the monad transformers in the Idris monad to allow completion