git.iko.soy/Idris-dev
on cdff1db help sign in
history ofsrc/Idris/Transforms.hs
all commits
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