git.iko.soy/Idris-dev
on 73eb351 help sign in
history ofsrc/Core/ShellParser.hs
all commits
7384683Fiddle with elaborator; update interp sample and testEdwin Brady 188dda5Tinkering with tactics and deferred definitionsEdwin Brady 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