Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / plclub/cis670-16fa issues and pull requests
#15 - Yao Li's dependent types in Scala.
Pull Request -
State: closed - Opened by lastland almost 8 years ago
#14 - CIS670 Project
Pull Request -
State: closed - Opened by gatoWololo almost 8 years ago
#13 - add weakening rule for type formation
Pull Request -
State: closed - Opened by liyishuai about 8 years ago
- 1 comment
#12 - add equality rules
Pull Request -
State: closed - Opened by liyishuai about 8 years ago
- 1 comment
#11 - proof pair_typing
Pull Request -
State: closed - Opened by liyishuai about 8 years ago
#10 - modify type formation and typing rules
Pull Request -
State: closed - Opened by liyishuai about 8 years ago
#9 - some other examples of systemf
Pull Request -
State: closed - Opened by liyishuai about 8 years ago
#8 - Added generic programming w/ dependent types code
Pull Request -
State: closed - Opened by lemonidas about 8 years ago
- 1 comment
#7 - Coq code for Ch.14
Issue -
State: closed - Opened by lastland about 8 years ago
- 1 comment
#6 - Format simple lang syntax
Pull Request -
State: closed - Opened by zjhmale about 8 years ago
- 1 comment
#5 - Ch11, after class
Pull Request -
State: closed - Opened by lastland about 8 years ago
#4 - Ch11. Before class.
Pull Request -
State: closed - Opened by lastland about 8 years ago
#3 - Add `_CoqProject` etc.
Pull Request -
State: closed - Opened by liyishuai about 8 years ago
- 2 comments
#2 - Remove the `y` quantifier from `rewrite_env_demo`.
Pull Request -
State: closed - Opened by lastland about 8 years ago
- 1 comment
#1 - Update README.md
Pull Request -
State: closed - Opened by liyishuai about 8 years ago
- 1 comment