git.iko.soy/Idris-dev
on cc4eb28 help sign in
history ofsrc/Core/ShellParser.hs
all commits
834a5e0Fix bug in applying syntax rulesEdwin Brady 06a81c9Elaborating types and data declarationsEdwin Brady 82585e7Some ghc 6.12 compatibilityEdwin Brady 50d24ecStart of a REPL and main program with argument processingEdwin Brady ff5f762Rename Core to TTEdwin Brady 0ae24f1Shift core TT into a separate directory (for ease of reuse)Edwin Brady