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