Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / robertharper/hott-notes issues and pull requests
#23 - Possible typo on ITT and "Failure of Extension" in Week 5 note
Issue -
State: closed - Opened by DKXXXL over 3 years ago
- 1 comment
#22 - Fix computation rules for the interval type
Pull Request -
State: closed - Opened by malte-v over 4 years ago
- 1 comment
#21 - Add CI
Pull Request -
State: closed - Opened by malte-v over 4 years ago
- 3 comments
#20 - fix an error in the "paths-over-paths" figure
Pull Request -
State: closed - Opened by malte-v over 4 years ago
- 1 comment
#19 - Missing M:Nat assumption
Pull Request -
State: closed - Opened by strangemonad about 7 years ago
#18 - small typo corrections
Pull Request -
State: closed - Opened by marklemay about 7 years ago
- 2 comments
#17 - minor typo correction
Pull Request -
State: closed - Opened by marklemay over 7 years ago
#16 - Fixing mistake in second rule of type equality
Pull Request -
State: closed - Opened by nubok about 9 years ago
#15 - Nicer formating of formula reference
Pull Request -
State: closed - Opened by nubok about 9 years ago
- 1 comment
#14 - notes_week3.tex: Added "x : A" to the clause of the \beta rules
Pull Request -
State: closed - Opened by nubok about 9 years ago
- 1 comment
#13 - Fix a typo
Pull Request -
State: closed - Opened by NightRa over 9 years ago
- 1 comment
#12 - Update notes_week2.tex
Pull Request -
State: closed - Opened by nubok over 10 years ago
- 1 comment
#11 - Update notes_week1.tex
Pull Request -
State: closed - Opened by nubok over 10 years ago
#10 - typo fixes
Pull Request -
State: closed - Opened by ivoysey almost 11 years ago
#9 - small update
Pull Request -
State: closed - Opened by suszc about 11 years ago
#7 - Fixed typo
Pull Request -
State: closed - Opened by newca12 about 11 years ago
- 1 comment
#6 - Week 12 Notes
Pull Request -
State: closed - Opened by maurer about 11 years ago
#5 - Some typos
Pull Request -
State: closed - Opened by chathhorn about 11 years ago
#4 - fix some build issues
Pull Request -
State: closed - Opened by williamdemeo about 11 years ago
- 7 comments
#3 - Week7
Pull Request -
State: closed - Opened by joeschmo over 11 years ago
#2 - Master
Pull Request -
State: closed - Opened by kristinas over 11 years ago
#1 - Fix some build issues
Pull Request -
State: closed - Opened by maurer over 11 years ago
- 1 comment