sweirich trellys issues

sweirich / trellys

Automatically exported from code.google.com/p/trellys

45 stars 6 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Make Zombie compile on stack lts-13.24.

#28 ziman closed 5 years ago
1
Port to recent Haskell ecosystem

#27 ziman closed 6 years ago
1
Add procedures and tools to measure programmer productivity implications

#26 sheyll closed 7 years ago
9
Patch for /trunk/nax/Notes/StratifiedSyntaxNotes.hs

#25 GoogleCodeExporter opened 9 years ago
0
Update typing rules to be modal and

#24 GoogleCodeExporter opened 9 years ago
2
Make a distiction between Pre-Core and Core languages.

#23 GoogleCodeExporter opened 9 years ago
1
Add inferred arguments

#22 GoogleCodeExporter opened 9 years ago
0
Switch to sepPP's conv syntax

#21 GoogleCodeExporter opened 9 years ago
0
Misc syntactic ugliness

#20 GoogleCodeExporter opened 9 years ago
1
Add SepPP's "morejoin" tactic

#19 GoogleCodeExporter opened 9 years ago
0
Replace natural-number induction with the SepPP-style < relation as a primitive.

#18 GoogleCodeExporter opened 9 years ago
0
Patch for /trunk/src/Language/Trellys/Syntax.hs

#17 GoogleCodeExporter opened 9 years ago
0
Merge no-pp-value-restriction branch into trunk

#16 GoogleCodeExporter opened 9 years ago
0
Insufficient error message regarding non-linear form

#15 GoogleCodeExporter opened 9 years ago
0
trellys-core-0.0 not compiling with GHC 7.0.1 source compiled on Debian unstable

#14 GoogleCodeExporter closed 9 years ago
1
Implement Q and Total judgements in prototype

#13 GoogleCodeExporter opened 9 years ago
0
Refactor TypeCheck.hs to eleborate instead of just typecheck

#12 GoogleCodeExporter closed 9 years ago
1
Add a symmetric version of conv

#11 GoogleCodeExporter opened 9 years ago
1
Allow ommision of irrelevant terms in dependent types: X -> Y as degenerate Pi x:X.Y

#10 GoogleCodeExporter closed 9 years ago
3
Add wildcard variables

#9 GoogleCodeExporter closed 9 years ago
4
Add "axiom" keyword to allow type declaration without implementation

#8 GoogleCodeExporter closed 9 years ago
2
Type checker admits type declarations into context before checking a corresponding term.

#7 GoogleCodeExporter closed 9 years ago
2
The svn:external RepLib -r40 causes cabal problems due to version collision with hackage RepLib

#6 GoogleCodeExporter closed 9 years ago
1
Add positivity check for datatypes

#5 GoogleCodeExporter closed 9 years ago
2
Make "implicit var appears free in body" error show where the variable appears free.

#4 GoogleCodeExporter opened 9 years ago
0
Add a hierarchical module system

#3 GoogleCodeExporter opened 9 years ago
1
Support CPP macros in .trellys files

#2 GoogleCodeExporter opened 9 years ago
1
Allow comments on lines before "module" line in .trellys files

#1 GoogleCodeExporter closed 9 years ago
1