git.iko.soy/Idris-dev
on 64b7cfd help sign in
history ofminiidris.cabal
all commits
50d24ecStart of a REPL and main program with argument processingEdwin Brady 554c395Made a start on the high level languageEdwin Brady ff5f762Rename Core to TTEdwin Brady 0ae24f1Shift core TT into a separate directory (for ease of reuse)Edwin Brady ac25f15Changed contexts to Data.MapEdwin Brady 3501adbChanged way of building pattern match termsEdwin Brady cc0dc09Added elaborate; a language for composing primitive tactics.Edwin Brady 77be0d0Simple parser for data typesEdwin Brady 6923ac1Started theorem prover and tacticsEdwin Brady dc0c198First lot of source files and paperEdwin Brady