git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/src/Idris/Elab
10 files
../ Class.hsFix for pattern vars in transforms Clause.hsAllow Partial Eval of lambdas/lets in static pos Data.hsAdded TODOs and FIXMEs from the Elaborator for Data. Instance.hsFix for pattern vars in transforms Provider.hsSave terms in docstrings Record.hsSave terms in docstrings Transform.hsPartial evaluator fixes Type.hsFix for pattern vars in transforms Utils.hsSave terms in docstrings Value.hsSave terms in docstrings