git.iko.soy/Idris-dev
on 9f65713 help sign in
history ofsrc/Idris/REPLParser.hs
all commits
b26716aCollect cumulativity constraints on universesEdwin Brady ffc64e3Add mechanism for simplification and function optionsEdwin Brady d676ca6Added -o option, and :exec and :t at the REPLEdwin Brady 22546bc:r and :e at the REPL.Edwin Brady 551548cBeginning theorem prover interfaceEdwin Brady 7c4f79cSome progress towards specialisationEdwin Brady b8a2bbfAdd :log to REPLEdwin Brady 12bd089Added lifting of unsolved metavariables to global functionsEdwin Brady 20861ecEnough Epic to compile 'hello world' (but not much else yet...)Edwin Brady 9fe3473Added using blocksEdwin Brady f85d1f0:ttshellEdwin Brady 82585e7Some ghc 6.12 compatibilityEdwin Brady 3b297bcParsing declarations, keeping track of fixitiesEdwin Brady 50d24ecStart of a REPL and main program with argument processingEdwin Brady