git.iko.soy/Idris-dev
on 7123e31 help sign in
history ofsrc/Idris/AbsSyntax.hs
all commits
a805f47Added constants and some primitive operationsEdwin Brady f9fb363Tinkering with error reportingEdwin Brady 59c1eb1Pretty printing of TT terms as PTermsEdwin Brady 9fe3473Added using blocksEdwin Brady 019fabaFixed unification; added well-typed interpreterEdwin Brady 739e0b5Some error handlingEdwin Brady 22b4dc4Lots of improvements in elaborating and evaluatingEdwin Brady c637850Pattern matcher, evaluation of 2+2 now worksEdwin Brady 54c8a04Checking pattern match clausesEdwin Brady 7a30f10Maybe if I add liftCatch locally things will work on 6.12Edwin Brady 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