git.iko.soy/Idris-dev
on 019faba help sign in
history ofsrc/Core/TT.hs
all commits
019fabaFixed unification; added well-typed interpreterEdwin Brady 22b4dc4Lots of improvements in elaborating and evaluatingEdwin Brady c637850Pattern matcher, evaluation of 2+2 now worksEdwin Brady 17e22afFeed a type to the elaborator for the RHS of a pattern. Also, change type of pattern bindersEdwin Brady 1b6709fPretty printing data declarationsEdwin Brady a8768afParser now fills in implicit argumentsEdwin Brady 82585e7Some ghc 6.12 compatibilityEdwin Brady 554c395Made a start on the high level languageEdwin Brady ff5f762Rename Core to TTEdwin Brady