Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / radeusgd/gadt-thesis issues and pull requests
#11 - Implement a prototype of term encoding
Pull Request -
State: closed - Opened by radeusgd about 3 years ago
#10 - Term translation in Scala
Pull Request -
State: closed - Opened by radeusgd about 3 years ago
#9 - Split lambda and fix identifiers, to resemble the source language more closely
Pull Request -
State: closed - Opened by radeusgd over 3 years ago
#8 - Source calculus soundness, initial draft of encoding
Pull Request -
State: closed - Opened by radeusgd over 3 years ago
#7 - Add some examples of source calculus
Issue -
State: open - Opened by radeusgd almost 4 years ago
#6 - Variable handling simplifications
Issue -
State: closed - Opened by radeusgd over 4 years ago
- 1 comment
Labels: question
#5 - Handling fset
Issue -
State: closed - Opened by radeusgd over 4 years ago
- 1 comment
Labels: bug, help wanted
#4 - Create a basic term->term translation
Issue -
State: open - Opened by radeusgd over 4 years ago
- 1 comment
Labels: enhancement
#3 - Add GADTs in the source calculus
Issue -
State: closed - Opened by radeusgd over 4 years ago
Labels: enhancement
#2 - Add basic ADTs to the source calculus
Issue -
State: closed - Opened by radeusgd over 4 years ago
- 3 comments
Labels: enhancement
#1 - Prove soundness of extended System F
Issue -
State: closed - Opened by radeusgd over 4 years ago
Labels: enhancement