git.iko.soy/Idris-dev
on 7ea4422 help sign in
history ofsrc/Idris/Parser.hs
all commits
a7d08efdo notation (just IO at the moment - not yet overloadable)Edwin Brady 20861ecEnough Epic to compile 'hello world' (but not much else yet...)Edwin Brady 9d1ecc8Added some syntactic sugar for _|_, () and pairsEdwin Brady 868409aSmall bug fixesEdwin Brady f208c49Library checkingEdwin Brady b1419b2Allow whitespace before program textEdwin Brady ca6a5e1import statementEdwin Brady 083fc70Added 'where' clauses in pattern matchesEdwin Brady de89a04Add ElabInfo to pass through elaboratorEdwin Brady a2a5141Allow interleaving of explicit and implicit arguments in top level typesEdwin Brady 7123e31Float operationsEdwin Brady a805f47Added constants and some primitive operationsEdwin Brady d3adb11Allow argument lists in lambda and pisEdwin Brady 9fe3473Added using blocksEdwin Brady 22b4dc4Lots of improvements in elaborating and evaluatingEdwin Brady c637850Pattern matcher, evaluation of 2+2 now worksEdwin Brady efd11bbOopsEdwin Brady 8e8d57aCollect all pattern clauses for a functionEdwin Brady a8768afParser now fills in implicit argumentsEdwin Brady 596e9aaFunctor for PTerm/PDeclEdwin Brady 2eb5b52Pattern clause parserEdwin Brady 82585e7Some ghc 6.12 compatibilityEdwin Brady 64b7cfdParsing high level data declarationsEdwin Brady 3b297bcParsing declarations, keeping track of fixitiesEdwin Brady 6414924Reserved wordsEdwin Brady 70ac28dChange fixity declarationsEdwin Brady 554c395Made a start on the high level languageEdwin Brady