git.iko.soy/Idris-dev
on 76ec3fe help sign in
history ofsrc/Idris/Elab/Transform.hs
all commits
f4aaf01Guard !! in forgetEnvEdwin Brady c2dc6ecAllow new-style tactics to declare function signaturesDavid Raymond Christiansen 426d052Add provenance flag to unification errorsEdwin Brady 0d8a153New way of dealing with unmatchable patternsEdwin Brady 2c39286Fix for name clashes when applying transformationsEdwin Brady 3ade599Partial evaluator fixesEdwin Brady 37748ceAdd transformation rules for partial evaluationEdwin Brady