git.iko.soy/Idris-dev
on bcdde4a help sign in
history ofsrc/Core/CoreParser.hs
all commits
a805f47Added constants and some primitive operationsEdwin Brady 82585e7Some ghc 6.12 compatibilityEdwin Brady 64b7cfdParsing high level data declarationsEdwin Brady 3b297bcParsing declarations, keeping track of fixitiesEdwin Brady ff5f762Rename Core to TTEdwin Brady 0ae24f1Shift core TT into a separate directory (for ease of reuse)Edwin Brady