git.iko.soy/Idris-dev
on 174e696 help sign in
history ofsrc/Idris/AbsSyntax.hs
all commits
174e696Don't crash on error, keep goingEdwin Brady 06a81c9Elaborating types and data declarationsEdwin Brady 8e8d57aCollect all pattern clauses for a functionEdwin Brady 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