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