Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / aliaumel/word-ordering-wqo issues and pull requests
#8 - Amalgamation systems: Fix definitions and simplify proofs
Pull Request -
State: closed - Opened by strangeglyph about 1 month ago
- 1 comment
#7 - order type bounds
Issue -
State: open - Opened by AliaumeL about 1 month ago
- 3 comments
Labels: enhancement
#6 - Big Mic Mac
Pull Request -
State: closed - Opened by AliaumeL about 1 month ago
- 6 comments
Labels: bug, enhancement
#5 - Work on decidability proof for infixes
Pull Request -
State: closed - Opened by strangeglyph about 1 month ago
#4 - Chains vs Grids
Issue -
State: closed - Opened by AliaumeL about 1 month ago
Labels: bug
#3 - Typos
Issue -
State: closed - Opened by AliaumeL about 1 month ago
Labels: enhancement
#2 - Introducing Ordinal Invariants
Issue -
State: closed - Opened by AliaumeL about 1 month ago
Labels: bug
#1 - work on intro/contribution
Pull Request -
State: closed - Opened by strangeglyph 2 months ago