git.iko.soy/Idris-dev
on b4dbebd help sign in
history ofsrc/Idris/Reflection.hs
all commits
8ab1ac6Richer universe error objectsDavid Raymond Christiansen 3592edbReflection for SN, plus an SN for meta-stuffDavid Raymond Christiansen 3047ae8Small formatting fixDavid Raymond Christiansen c51241fReflected elab: look up datatypesDavid Raymond Christiansen d97715ePlumb datatype information through the proof stateDavid Raymond Christiansen 04b4cc0Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 370939bMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady e32e899Totality checking for functions defined in Elab scriptsDavid Raymond Christiansen 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