../ AsPat.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago Clause.hsRefactoring: Move options out of AbsSyntax9 years ago Data.hsTake some more care with forcing10 years ago Implementation.hsFix whitespace10 years ago Interface.hsFix delab of scoped implicits10 years ago Provider.hsRefactoring: Move options out of AbsSyntax9 years ago Quasiquote.hsAdd do-rewrite9 years ago Record.hsAdd RigCount to PPi/Plicity10 years ago Rewrite.hsFix implicits under rewrite10 years ago RunElab.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago Term.hsMerge branch 'master' of github.com:idris-lang/Idris-dev9 years ago Transform.hsAdd 'RigCount' to Pi and PVar10 years ago Type.hsRefactoring: Move options out of AbsSyntax9 years ago Utils.hsDeal with ambiguity in impossible clauses10 years ago Value.hs[Issue 3774] Have :exec print the value of IO _ expressions9 years ago