git.iko.soy/Idris-dev
on 2aed52a help sign in
history oflibs/base/Language/Reflection.idr
all commits
5045daeAdded tactic for case analysis. Also, induction now work on expressions instead of simply names.Ahmad Salim Al-Sibahi a0b05e2Allow induction on terms instead of simply namesAhmad Salim Al-Sibahi 094be98Add an optional depth to 'search' tacticEdwin Brady d0edb70Add support for reflecting ByReflectionDavid Raymond Christiansen c1ef938New syntax for documentation commentsDavid Raymond Christiansen 889d848Change 'run' in neweffects to add defaultsEdwin Brady d006e27Improve representation of BigInt reflectionsDavid Raymond Christiansen e33cfb9Add name suggestions to reflection libDavid Raymond Christiansen 5bc16aeFixed reflection induction tacticAhmad Salim Al-Sibahi 2dc07faInduction on nat workingAhmad Salim Al-Sibahi a338273Remove needless Prelude importsEdwin Brady 40924dcMoved libraries around, removed 'effects' flagEdwin Brady