Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / bor0/gidti issues and pull requests

#47 - Fix two minor typos in 5.2.6

Pull Request - State: closed - Opened by AlienKevin almost 2 years ago - 1 comment

#46 - Fix typo in 3.4.1 (left injection should be right)

Pull Request - State: closed - Opened by AlienKevin almost 2 years ago - 1 comment

#45 - More references for further reading

Issue - State: open - Opened by nbloomf over 6 years ago

#44 - Minor edit

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#43 - [4.1.8] Minor edit

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#42 - [4.1.7] Minor grammar edits

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#41 - [4.1.5] Minor edits

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#40 - [4.1.4] Iterative process -> tail recursion

Issue - State: closed - Opened by nbloomf over 6 years ago

#39 - [4.1.3] Minor edit

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#38 - [4.1.3] :let vs let

Issue - State: closed - Opened by nbloomf over 6 years ago

#37 - [4.1] Misc edits

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#36 - [4.1.1] Pattern matching

Issue - State: closed - Opened by nbloomf over 6 years ago - 1 comment

#35 - Minor edits

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#34 - Chapter 3: (another) note on note

Issue - State: closed - Opened by nbloomf over 6 years ago

#33 - Chapter 3.4: note on note

Issue - State: closed - Opened by nbloomf over 6 years ago

#32 - Chapter 3: Add context about dependent types

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#31 - Add some prose about the significance of simple types

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#30 - Tweak definitions of free and bound variables

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#29 - Ch3.1

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#28 - Idiomaticize

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#27 - Chapter 3: sums are tagged unions

Issue - State: closed - Opened by nbloomf over 6 years ago - 1 comment

#26 - Chapter 2: table vs column proofs

Issue - State: closed - Opened by nbloomf over 6 years ago

#25 - Grammar fix

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#24 - Chapter 2: bound variables

Issue - State: closed - Opened by nbloomf over 6 years ago - 1 comment

#23 - Edit set theory definitions

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#22 - Chapter 2: functions

Issue - State: closed - Opened by nbloomf over 6 years ago - 1 comment

#21 - Chapter 2: multicharacter identifiers

Issue - State: closed - Opened by nbloomf over 6 years ago

#20 - Add example of a second-order predicate

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#19 - Chapter 2: More info for quantifiers

Issue - State: closed - Opened by nbloomf over 6 years ago - 1 comment

#18 - Alter examples for the implication connective

Pull Request - State: closed - Opened by nbloomf over 6 years ago - 1 comment

#17 - Chapter 1.1 edits

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#16 - Smooth edit of definition of formal system and intro paragraph

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#15 - Chapter 1: consistency and completeness

Issue - State: closed - Opened by nbloomf over 6 years ago - 2 comments

#14 - Add self to reviewer list

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#13 - Intro edit

Pull Request - State: closed - Opened by nbloomf over 6 years ago

#12 - Preface: minor edits to more idiomatic English usage

Pull Request - State: closed - Opened by nbloomf over 6 years ago - 1 comment

#11 - Hyphen encoding issue in acknowledgements

Issue - State: closed - Opened by nbloomf over 6 years ago - 3 comments

#10 - [4.1.4] Recursive vs iterative processes

Issue - State: closed - Opened by bor0 over 6 years ago

#9 - [3.5] Lambda cube section

Issue - State: closed - Opened by bor0 over 6 years ago

#8 - [3.1] Lambda calculus intro

Issue - State: closed - Opened by bor0 over 6 years ago

#7 - [2] classical logic too fast?

Issue - State: closed - Opened by Chobbes over 6 years ago

#6 - [2.1] logic introduction truth table concerns

Issue - State: closed - Opened by Chobbes over 6 years ago - 3 comments

#5 - 3.1 logical connectives commutativity

Issue - State: closed - Opened by Chobbes over 6 years ago - 3 comments

#4 - Remove ZFC and just refer to set theory

Pull Request - State: closed - Opened by bor0 over 6 years ago

#3 - [3] ZFC and Peano introductions

Issue - State: closed - Opened by Chobbes over 6 years ago - 1 comment

#2 - Clarify descriptions for MU inference rules.

Pull Request - State: closed - Opened by Chobbes over 6 years ago - 1 comment

#1 - [2.1] MU puzzle example issues

Issue - State: closed - Opened by Chobbes over 6 years ago