Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / lukemaurer/sequent-core issues and pull requests
#6 - Update specification for Sequent Core to reflect simplification of syntax
Pull Request -
State: closed - Opened by pdownen about 9 years ago
#5 - Specification of semantics and frames
Pull Request -
State: closed - Opened by pdownen over 9 years ago
#4 - Update specification to reflect implementation of existential stacks
Pull Request -
State: closed - Opened by pdownen over 9 years ago
#3 - Documentation on parameterized continuations
Pull Request -
State: closed - Opened by pdownen over 9 years ago
#2 - Types and continuation scoping
Pull Request -
State: closed - Opened by pdownen over 9 years ago
#1 - Restrict GHC bounds
Pull Request -
State: closed - Opened by bergmark over 9 years ago