issues
search
mietek
/
epigram2
Mirror of Epigram 2, by Conor McBride, et al.
https://code.google.com/p/epigram
MIT License
48
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Port IData to Anchors
#66
GoogleCodeExporter
opened
9 years ago
0
Code review: distillation of Set :>: Mu ... and Set :>: Nu ...
#65
GoogleCodeExporter
opened
9 years ago
2
Code review: making AllowedBy in Tactics.Data
#64
GoogleCodeExporter
opened
9 years ago
0
Test: NatDev.pig is currently FAILED
#63
GoogleCodeExporter
closed
9 years ago
2
Code review: pretty-print Sizes in Features.Anchor
#62
GoogleCodeExporter
opened
9 years ago
0
Code review: Pretty-printing and Display term of Anchor
#61
GoogleCodeExporter
opened
9 years ago
1
Code review: resolveAnchor in ProofState.Interface.Anchor
#60
GoogleCodeExporter
opened
9 years ago
1
Elaboration.Wire: tellEntry invariant and schizophrenia
#59
GoogleCodeExporter
opened
9 years ago
0
definitionsToImpl and magicImplName
#58
GoogleCodeExporter
opened
9 years ago
1
Translation of StackError from DInTm to InTm
#57
GoogleCodeExporter
opened
9 years ago
0
ProofState: graphical representations of data-structure
#56
GoogleCodeExporter
opened
9 years ago
0
Evidences.Tm: split in smaller files
#55
GoogleCodeExporter
opened
9 years ago
0
OpDef has been unplugged, re-plug it?
#54
GoogleCodeExporter
opened
9 years ago
0
"If the news bulletin defines this hole, it had better just be hoping for a solution"
#53
GoogleCodeExporter
opened
9 years ago
0
"define" tactics: advanced matching?
#52
GoogleCodeExporter
closed
9 years ago
1
runElab True/False calls does not (seem to) respect the not toplevel/toplevel distinction
#51
GoogleCodeExporter
closed
9 years ago
5
Eta-expansion during pattern matching
#50
GoogleCodeExporter
opened
9 years ago
0
Adopting a more disciplined approach to Sigma-splitting
#49
GoogleCodeExporter
opened
9 years ago
0
Remove automatic Enum-splitting / generate proper induction principle
#48
GoogleCodeExporter
opened
9 years ago
2
Labels for IDesc
#47
GoogleCodeExporter
opened
9 years ago
0
Capture the "being lambda lifted" invariant in Haskell
#46
GoogleCodeExporter
opened
9 years ago
0
Reserve ALLCAPITAL identifiers to She patterns
#45
GoogleCodeExporter
opened
9 years ago
2
ProofState.Interface.Lifting is not an Interface
#44
GoogleCodeExporter
opened
9 years ago
3
Extracting the Elaborator DSL from the Elaborator for DisplayLang
#43
GoogleCodeExporter
opened
9 years ago
0
Reversible Elaborator
#42
GoogleCodeExporter
opened
9 years ago
0
Profiling infrastructure
#41
GoogleCodeExporter
opened
9 years ago
1
Tracing infrastructure
#40
GoogleCodeExporter
opened
9 years ago
3
Remove the Makefile / Proper Cabal integration
#39
GoogleCodeExporter
opened
9 years ago
1
Macro.tex, pig.sty: get a unique, global version (if possible)
#38
GoogleCodeExporter
opened
9 years ago
2
Compiler test harness
#37
GoogleCodeExporter
opened
9 years ago
1
Cochon as a ProofState Debugger
#36
GoogleCodeExporter
opened
9 years ago
1
RFC: STYLE file
#35
GoogleCodeExporter
opened
9 years ago
1
RFC: Quickchecking
#34
GoogleCodeExporter
opened
9 years ago
2
OpTree DSL must go away from Rules.lhs
#33
GoogleCodeExporter
closed
9 years ago
3
[deleted issue]
#32
GoogleCodeExporter
closed
9 years ago
0
RFC: Error report machinery
#31
GoogleCodeExporter
opened
9 years ago
3
PropSimp relies uses Higher Order terms
#30
GoogleCodeExporter
closed
9 years ago
2
test/Elab.pig is red on the tip
#29
GoogleCodeExporter
closed
9 years ago
1
DisplayLang is part of the Cochon UI
#28
GoogleCodeExporter
closed
9 years ago
2
Make problem simplification eliminate by substitution
#27
GoogleCodeExporter
closed
9 years ago
1
Record presence of holes in the proof state
#26
GoogleCodeExporter
opened
9 years ago
1
Better navigation commands for modular development
#25
GoogleCodeExporter
opened
9 years ago
1
Syntax for accesing nested tuples
#24
GoogleCodeExporter
opened
9 years ago
0
Relabel: in a module with global lambda, shadow them
#23
GoogleCodeExporter
closed
9 years ago
1
EqGreen could disappear
#22
GoogleCodeExporter
opened
9 years ago
0
Split and funny lambda for sigma types
#21
GoogleCodeExporter
opened
9 years ago
0
Simpl tactics: hung Epigram
#20
GoogleCodeExporter
closed
9 years ago
3
Pay attention to description when elaborating tags with arguments
#19
GoogleCodeExporter
opened
9 years ago
0
Levitate IDesc
#18
GoogleCodeExporter
closed
9 years ago
1
Implement the "with" gadget
#17
GoogleCodeExporter
opened
9 years ago
0
Previous
Next