git.iko.soy/Idris-dev
on c6fe987 help sign in
Idris-dev/src/Idris/Elab
15 files
../ AsPat.hsAlphabetize and indent imports and LANGUAGE pragmas Clause.hsReduce logging at level 1 Data.hsTake some more care with forcing Implementation.hsFix whitespace Interface.hsFix delab of scoped implicits Provider.hsAlphabetize and indent imports and LANGUAGE pragmas Quasiquote.hsAlphabetize and indent imports and LANGUAGE pragmas Record.hsAdd RigCount to PPi/Plicity Rewrite.hsFix implicits under rewrite RunElab.hsAlphabetize and indent imports and LANGUAGE pragmas Term.hsDeal with ambiguity in impossible clauses Transform.hsAdd 'RigCount' to Pi and PVar Type.hsFixed unstylized things in Idris and stylize.sh script Utils.hsDeal with ambiguity in impossible clauses Value.hs[Issue 3774] Have :exec print the value of IO _ expressions