Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / jacquescarette/theoriesanddatastructures issues and pull requests
#7 - Theories first
Issue -
State: closed - Opened by JacquesCarette over 5 years ago
- 3 comments
Labels: question, design
#6 - Paper should not talk about theories/DS that do not yet exist
Issue -
State: closed - Opened by JacquesCarette over 5 years ago
- 1 comment
Labels: bug, design
#5 - [Most important issue] The Story.
Issue -
State: closed - Opened by JacquesCarette over 5 years ago
- 1 comment
Labels: bug, enhancement, design
#4 - Remove all editorial commentary
Issue -
State: closed - Opened by JacquesCarette over 5 years ago
- 1 comment
Labels: enhancement, low-hanging-fruit
#3 - Fix formatting
Issue -
State: closed - Opened by JacquesCarette over 5 years ago
- 1 comment
Labels: bug, low-hanging-fruit
#2 - Review & add citations to popl paper
Issue -
State: closed - Opened by alhassy over 5 years ago
- 1 comment
#1 - The removal of Data.Nat.Properties.Simple in v1.0 of the standard library
Issue -
State: open - Opened by MatthewDaggitt about 6 years ago
- 1 comment