git.iko.soy/Idris-dev
on 63afafa help sign in
history ofsrc/Core/ProofShell.hs
all commits
49e426aSwitch from readline to haskelineMathnerd314 67c5734Added case and pattern matching let bindings Also pattern matching bind in do notation case notation currently has limitations: - only works on simple types (each pattern must have the same type, more specifically) - return type needs to be known at the point of elaborationEdwin Brady 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