jonsterling/racket-grit issues and pull requests

#35 - WIP: new binding representation

Pull Request - State: open - Opened by david-christiansen over 7 years ago

#35 - WIP: new binding representation

Pull Request - State: open - Opened by david-christiansen over 7 years ago

#34 - Possible logic error in hereditary substitution

Issue - State: open - Opened by jonsterling over 7 years ago - 7 comments

#34 - Possible logic error in hereditary substitution

Issue - State: open - Opened by jonsterling over 7 years ago - 7 comments

#33 - wip: manual: start of 'How Grit Works'

Pull Request - State: open - Opened by emberian over 7 years ago - 6 comments

#33 - wip: manual: start of 'How Grit Works'

Pull Request - State: open - Opened by emberian over 7 years ago - 6 comments

#32 - Contract blame is unintuitive

Issue - State: open - Opened by emberian over 7 years ago - 3 comments

#32 - Contract blame is unintuitive

Issue - State: open - Opened by emberian over 7 years ago - 3 comments

#31 - Should things print in an eval-able way?

Issue - State: open - Opened by emberian over 7 years ago - 1 comment

#31 - Should things print in an eval-able way?

Issue - State: open - Opened by emberian over 7 years ago - 1 comment

#30 - Fix printing of (SORT)

Pull Request - State: closed - Opened by emberian over 7 years ago - 1 comment

#29 - WIP: Initial sketch of GUI

Pull Request - State: open - Opened by david-christiansen over 7 years ago - 7 comments

#28 - WIP: GUI prover

Pull Request - State: closed - Opened by david-christiansen over 7 years ago

#27 - Dump format seems to work

Pull Request - State: closed - Opened by david-christiansen over 7 years ago - 6 comments

#26 - start defining refinements (#25)

Pull Request - State: closed - Opened by jonsterling over 7 years ago - 19 comments

#25 - signatures of refinements

Issue - State: open - Opened by jonsterling over 7 years ago

#24 - Add Coveralls badge to keep us honest

Pull Request - State: closed - Opened by jonsterling over 7 years ago - 3 comments

#23 - Badge

Pull Request - State: closed - Opened by david-christiansen over 7 years ago - 3 comments

#22 - Remove dead code, indent

Pull Request - State: closed - Opened by jonsterling over 7 years ago

#21 - fix license (add people's names, update project name)

Pull Request - State: closed - Opened by jonsterling over 7 years ago - 1 comment

#20 - Rename internal obsolete references

Pull Request - State: closed - Opened by david-christiansen over 7 years ago - 4 comments

#19 - switch to multitactic-oriented version

Issue - State: open - Opened by jonsterling over 7 years ago - 1 comment
Labels: A-refinement-framework, E-medium, P-medium

#18 - enforce abstraction with runtime sealing

Issue - State: open - Opened by jonsterling over 7 years ago
Labels: A-refinement-framework

#17 - Choose name for project

Issue - State: closed - Opened by jonsterling over 7 years ago - 4 comments

#16 - Rename some things

Pull Request - State: closed - Opened by emberian over 7 years ago - 14 comments

#15 - consolidate nomenclature

Issue - State: closed - Opened by jonsterling over 7 years ago - 22 comments
Labels: E-easy

#14 - signature macro imrovements

Issue - State: open - Opened by jonsterling over 7 years ago - 2 comments
Labels: A-logical-framework, E-medium, A-macros, I-enhancement, P-high

#13 - Wellformedness coercions

Pull Request - State: closed - Opened by jonsterling over 7 years ago - 6 comments

#12 - CTT Example

Pull Request - State: closed - Opened by jonsterling over 7 years ago - 13 comments

#11 - Judgments with multiple outputs

Issue - State: open - Opened by jonsterling over 7 years ago - 6 comments
Labels: A-refinement-framework, E-hard, I-wishlist

#10 - Fancier telescopes for rules

Issue - State: open - Opened by jonsterling over 7 years ago - 1 comment
Labels: E-hard, A-macros, I-wishlist, P-low

#9 - higher order proof refinement

Issue - State: closed - Opened by jonsterling over 7 years ago - 2 comments

#8 - Matching with respect to a signature

Issue - State: open - Opened by david-christiansen over 7 years ago
Labels: A-logical-framework, E-hard, A-macros, I-enhancement

#7 - Allow LF signatures to be used as a #lang

Issue - State: open - Opened by david-christiansen over 7 years ago

#6 - elaborating typechecker for LF?

Issue - State: closed - Opened by jonsterling over 7 years ago - 2 comments

#5 - start modularizing into a library (when appropriate)

Issue - State: open - Opened by jonsterling over 7 years ago - 2 comments

#4 - define patterns/notations

Issue - State: closed - Opened by jonsterling over 7 years ago - 3 comments

#3 - implement typechecker

Issue - State: closed - Opened by jonsterling over 7 years ago - 1 comment

#2 - generic substitution

Issue - State: closed - Opened by jonsterling over 7 years ago - 1 comment
Labels: A-logical-framework

#1 - implement syntax

Issue - State: closed - Opened by jonsterling over 7 years ago

GitHub / jonsterling/racket-grit issues and pull requests