git.iko.soy/Idris-dev
on 7afa310 help sign in
history oflibs/base/Language/Reflection/Utils.idr
all commits
7e7368dStore kind in Pi bindersEdwin Brady a73b6afFix reference to broken primitivesDavid Raymond Christiansen 9884992Update Eq and Show reflection for internals changesDavid Raymond Christiansen 5e0a984Remove the ability to reflect At and ElaboratingDavid Raymond Christiansen b4943a2Update error reflection for CantSolveGoalDavid Raymond Christiansen 08e12c9Add Show instances for SourceLocation and ErrDavid Raymond Christiansen a338273Remove needless Prelude importsEdwin Brady 40924dcMoved libraries around, removed 'effects' flagEdwin Brady