Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / wilbowma/pl-thesaurus issues and pull requests
#9 - Add some variable terms
Pull Request -
State: closed - Opened by brendanzab over 3 years ago
- 1 comment
#9 - Add some variable terms
Pull Request -
State: closed - Opened by brendanzab over 3 years ago
- 1 comment
#8 - Add entry for "polymorphic instantiation"
Pull Request -
State: closed - Opened by brendanzab over 3 years ago
- 1 comment
#8 - Add entry for "polymorphic instantiation"
Pull Request -
State: closed - Opened by brendanzab over 3 years ago
- 1 comment
#7 - Is K the same as propositional extensionality?
Issue -
State: open - Opened by JoeyEremondi over 5 years ago
- 1 comment
#6 - Adding coproduct
Pull Request -
State: closed - Opened by conilas over 5 years ago
#5 - Add synonyms to dependent sum.
Pull Request -
State: closed - Opened by deeglaze over 6 years ago
#4 - No License
Issue -
State: closed - Opened by wilbowma over 6 years ago
- 1 comment
#3 - No CoC on repository
Issue -
State: closed - Opened by brendanzab over 6 years ago
- 3 comments
#2 - Add synonyms for dependent function/pair types
Pull Request -
State: closed - Opened by brendanzab over 6 years ago
#1 - Also create a PL jargon dictionary?
Issue -
State: open - Opened by wilbowma over 6 years ago
- 2 comments
Labels: enhancement