git.iko.soy/Idris-dev
on 7afa310 help sign in
history oflibs/base/Language/Reflection.idr
all commits
17e042bDocumentation improvements in libraryDavid Raymond Christiansen 7e7368dStore kind in Pi bindersEdwin Brady e0dc334Update documentation in Language.ReflectionDavid Raymond Christiansen bc74895Add Quotable instances for Raw and TacticDavid Raymond Christiansen 79308e7Add typeclass for programmatic quotingDavid Raymond Christiansen c41b605Update reflection code to current core language.David Raymond Christiansen 84b172aAdd tactics "skip" and "fail"David Raymond Christiansen 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