git.iko.soy/Idris-dev
on 1b6709f help sign in
history ofsrc/Idris/AbsSyntax.hs
all commits
1b6709fPretty printing data declarationsEdwin Brady 2050102Pretty printer for PTermEdwin Brady f85d1f0:ttshellEdwin Brady a8768afParser now fills in implicit argumentsEdwin Brady 596e9aaFunctor for PTerm/PDeclEdwin Brady 2eb5b52Pattern clause parserEdwin Brady 64b7cfdParsing high level data declarationsEdwin Brady 3b297bcParsing declarations, keeping track of fixitiesEdwin Brady 50d24ecStart of a REPL and main program with argument processingEdwin Brady 70ac28dChange fixity declarationsEdwin Brady 554c395Made a start on the high level languageEdwin Brady