jonsterling racket-grit issues

jonsterling / racket-grit

Grit: the kernel around which a PRL forms

Other

3 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

WIP: new binding representation

#35 david-christiansen opened 7 years ago
0
Possible logic error in hereditary substitution

#34 jonsterling opened 7 years ago
7
wip: manual: start of 'How Grit Works'

#33 emberian opened 7 years ago
6
Contract blame is unintuitive

#32 emberian opened 7 years ago
3
Should things print in an eval-able way?

#31 emberian opened 7 years ago
1
Fix printing of (SORT)

#30 emberian closed 7 years ago
1
WIP: Initial sketch of GUI

#29 david-christiansen opened 7 years ago
7
WIP: GUI prover

#28 david-christiansen closed 7 years ago
0
Dump format seems to work

#27 david-christiansen closed 7 years ago
6
start defining refinements (#25)

#26 jonsterling closed 7 years ago
19
signatures of refinements

#25 jonsterling opened 7 years ago
0
Add Coveralls badge to keep us honest

#24 jonsterling closed 7 years ago
3
Badge

#23 david-christiansen closed 7 years ago
3
Remove dead code, indent

#22 jonsterling closed 7 years ago
0
fix license (add people's names, update project name)

#21 jonsterling closed 7 years ago
1
Rename internal obsolete references

#20 david-christiansen closed 7 years ago
4
switch to multitactic-oriented version

#19 jonsterling opened 7 years ago
1
enforce abstraction with runtime sealing

#18 jonsterling opened 7 years ago
0
Choose name for project

#17 jonsterling closed 7 years ago
4
Rename some things

#16 emberian closed 7 years ago
14
consolidate nomenclature

#15 jonsterling closed 7 years ago
22
signature macro imrovements

#14 jonsterling opened 7 years ago
2
Wellformedness coercions

#13 jonsterling closed 7 years ago
6
CTT Example

#12 jonsterling closed 7 years ago
13
Judgments with multiple outputs

#11 jonsterling opened 7 years ago
6
Fancier telescopes for rules

#10 jonsterling opened 7 years ago
1
higher order proof refinement

#9 jonsterling closed 7 years ago
2
Matching with respect to a signature

#8 david-christiansen opened 7 years ago
0
Allow LF signatures to be used as a #lang

#7 david-christiansen opened 7 years ago
0
elaborating typechecker for LF?

#6 jonsterling closed 7 years ago
2
start modularizing into a library (when appropriate)

#5 jonsterling opened 7 years ago
2
define patterns/notations

#4 jonsterling closed 7 years ago
3
implement typechecker

#3 jonsterling closed 7 years ago
1
generic substitution

#2 jonsterling closed 7 years ago
1
implement syntax

#1 jonsterling closed 7 years ago
0