Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / isovector/certainty-by-construction issues and pull requests
#16 - Some lines of code don't show on epub version.
Issue -
State: closed - Opened by hectorip 11 months ago
- 5 comments
#15 - Fix typos in Chapter 5
Pull Request -
State: closed - Opened by SlimTim10 11 months ago
- 1 comment
#14 - Minor: Format issues in PDF - in particular the _ in some binary operators
Issue -
State: open - Opened by joha2 11 months ago
- 2 comments
#13 - Some further typos
Pull Request -
State: closed - Opened by joha2 12 months ago
- 2 comments
#12 - Missing exercise solution in 4.12
Issue -
State: open - Opened by SlimTim10 12 months ago
#11 - The ∀ ("forall") symbol isn't properly introduced
Issue -
State: open - Opened by SlimTim10 12 months ago
#10 - Fix typos/chapter4
Pull Request -
State: closed - Opened by SlimTim10 12 months ago
#9 - [WIP] Try to fix some typos
Pull Request -
State: closed - Opened by joha2 12 months ago
#8 - Fix typos/chapter3
Pull Request -
State: closed - Opened by SlimTim10 12 months ago
- 1 comment
#7 - Fix typos in Chapter 2
Pull Request -
State: closed - Opened by SlimTim10 12 months ago
- 1 comment
#6 - Fix typos in Chapter 1
Pull Request -
State: closed - Opened by SlimTim10 12 months ago
- 2 comments
#5 - Fix some typos in first few chapters
Pull Request -
State: closed - Opened by artimath about 1 year ago
- 4 comments
#4 - Exponentiation doesn't work with `refl`
Issue -
State: closed - Opened by blackgnezdo over 1 year ago
- 1 comment
#3 - Everything is broken!
Issue -
State: closed - Opened by kitlangton over 1 year ago
#2 - Certainty by Construction PDF page 25 MakeCase
Issue -
State: closed - Opened by onelinelernen over 1 year ago
- 3 comments
#1 - Pandoc can't build this
Issue -
State: open - Opened by isovector about 2 years ago