git.iko.soy/Idris-dev
on 85e91ef help sign in
history ofsrc/Core/ProofShell.hs
all commits
8cd093fChanged lookup to return a list (preparation for namespaces)Edwin Brady 10b88aeAdded refine, focus, undoEdwin Brady 06a81c9Elaborating types and data declarationsEdwin Brady f85d1f0:ttshellEdwin Brady aa85339Builds on ubuntu haskell platformEdwin Brady ff5f762Rename Core to TTEdwin Brady 0ae24f1Shift core TT into a separate directory (for ease of reuse)Edwin Brady