git.iko.soy/Idris-dev
on 76ec3fe help sign in
history oflibs/base/Language/Reflection/Utils.idr
all commits
95eee3cRemove no longer used primitives from TTEdwin Brady 73ea02bRemove Buffer and BitVector from parserEdwin Brady dbe0a3cCheck class arguments for injectivityEdwin Brady c66df51Propagate unification solutions into types on 'P'Edwin Brady 348ddceError reflection for FinDavid Raymond Christiansen 0d8a153New way of dealing with unmatchable patternsEdwin Brady bcd2db1Check target of 'with' is a value (not a function)Edwin Brady 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