git.iko.soy/Idris-dev
on 1841601 help sign in
history ofsrc/Idris/Reflection.hs
all commits
370939bMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 367c037Move quoters and unquoters to Idris.ReflectionDavid Raymond Christiansen 7d02904Progress towards defining functions in TacticalDavid Raymond Christiansen cfd6dbcStart of defining functions in TacticalDavid Raymond Christiansen 6d188c4Begin to use a sum type for post-elab IState tweaksDavid Raymond Christiansen c2dc6ecAllow new-style tactics to declare function signaturesDavid Raymond Christiansen