git.iko.soy/Idris-dev
on 2d3bbcc help sign in
history ofsrc/Idris/Transforms.hs
all commits
f987aecAdd info field to AppEdwin Brady 2c39286Fix for name clashes when applying transformationsEdwin Brady b6c54b0Fix transforms under lambdasEdwin Brady 3971cb9More partial evaluation improvementsEdwin Brady 03f6913Partially evaluate type class dictionariesEdwin Brady 3ade599Partial evaluator fixesEdwin Brady 146858dImplement transformation rulesEdwin Brady 37748ceAdd transformation rules for partial evaluationEdwin Brady 218c735Mark 'case' on unique types as updatableEdwin Brady 46e894dUse Data.Text for variable namesEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna 3c32b65Whitespace cleanup.George Leontiev 2311d55rename O into Zraichoo 5c9a88auppercase modulenamesraichoo 7c75851Test file for new VM, hook up parserEdwin Brady 6e699c7Add Transform module; make implicit args lazyEdwin Brady