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