Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / nmvdw/three-hits issues and pull requests
#12 - Types of paths in computation rule for paths
Issue -
State: open - Opened by andrejbauer almost 8 years ago
- 2 comments
#11 - Colimit via sigma and coequalizers
Issue -
State: closed - Opened by nmvdw almost 8 years ago
- 1 comment
#10 - Some typos in the first part
Pull Request -
State: closed - Opened by co-dan almost 8 years ago
#9 - Where do we rely on the boudned nesting of constructors
Issue -
State: open - Opened by andrejbauer almost 8 years ago
- 4 comments
#8 - Why separate the recursive and non-recursive constructors?
Issue -
State: open - Opened by andrejbauer almost 8 years ago
- 1 comment
#7 - Explaining the construction
Issue -
State: open - Opened by andrejbauer almost 8 years ago
- 14 comments
#6 - Getting rid of parameters
Issue -
State: open - Opened by andrejbauer almost 8 years ago
- 3 comments
#5 - I am confused
Issue -
State: open - Opened by andrejbauer almost 8 years ago
- 4 comments
#4 - Lemma 13
Issue -
State: closed - Opened by nmvdw almost 8 years ago
- 1 comment
#3 - Abstract
Issue -
State: closed - Opened by nmvdw almost 8 years ago
#2 - Definition of a constructor term over a given `c`
Issue -
State: closed - Opened by andrejbauer almost 8 years ago
- 1 comment
#1 - Colimits in HoTT
Issue -
State: closed - Opened by andrejbauer almost 8 years ago
- 2 comments