Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / jozefg/learn-tt issues and pull requests
#17 - Fix broken link for types and programming languages
Pull Request -
State: open - Opened by christos-P about 2 months ago
#16 - Add Lean resources
Pull Request -
State: closed - Opened by pitmonticone 3 months ago
- 1 comment
#16 - Add Lean resources
Pull Request -
State: closed - Opened by pitmonticone 3 months ago
- 1 comment
#15 - Replace dead link with Web Archive link
Pull Request -
State: closed - Opened by jftsang 4 months ago
- 1 comment
#14 - Per Martin-Löf: Transcriptions
Issue -
State: open - Opened by edrx about 2 years ago
- 1 comment
#13 - Fix broken link to Ed Morehouse's notes
Pull Request -
State: closed - Opened by paldepind over 4 years ago
#12 - Tom Leinster's book "Basic Category Theory"
Issue -
State: open - Opened by eternaleye over 4 years ago
#11 - Broken link to your tutorial
Issue -
State: closed - Opened by lukaszlew over 5 years ago
- 1 comment
#10 - Lean Prover
Issue -
State: closed - Opened by arademaker about 6 years ago
- 1 comment
#9 - Type Theory and Formal Proof: An Introduction
Issue -
State: open - Opened by QuangTung97 about 6 years ago
#8 - Linked paper about CIC is not about CIC
Issue -
State: closed - Opened by fferreira over 6 years ago
#7 - Bartosz Milewski book : "Category Theory for programmers"
Issue -
State: open - Opened by francoisthire almost 7 years ago
#6 - add 'Type-Driven Development with Idris' to bibliography
Issue -
State: closed - Opened by gdmcbain over 7 years ago
- 1 comment
#5 - Typo, Chalmer's -> Chalmers
Pull Request -
State: closed - Opened by AndreasLoow almost 8 years ago
- 1 comment
#4 - Fix link to PFPL - Mention PFPL editions
Pull Request -
State: closed - Opened by rski over 8 years ago
- 2 comments
#3 - Add TTFP, PFM and CTT Lecture Notes
Pull Request -
State: open - Opened by markfarrell almost 9 years ago
- 2 comments
#2 - Fix John Reynolds' name
Pull Request -
State: closed - Opened by hishamhm over 9 years ago
- 1 comment
#1 - Vendor papers/online books
Issue -
State: closed - Opened by jozefg over 9 years ago