Skip to content

Issues: isovector/thinking-with-types

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

13 Open 6 Closed
13 Open 6 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

makePropertyObj code does not work and left undefined, 13.3. USING GENERIC METADATA, page 183
#33 opened Aug 27, 2022 by salimp2009
2
2.2 Data Kinds: the code on page 29 will not work as is
#30 opened Jun 11, 2020 by Ptival
1
Exercise 1.4 - i transformation is incorrect
#28 opened Mar 25, 2020 by lenary
1
DeleteElem isn't described in the prose
#26 opened Mar 10, 2020 by isovector
Existential Type Elimination Aliases Break Example
#23 opened Nov 28, 2019 by agentultra
1
Additional required typeclasses for 15.4
#22 opened Nov 11, 2019 by Benjmhart
Color print
#21 opened Nov 8, 2019 by jerbaroo
1
Issues getting code from OpenSums to compile
#18 opened Sep 10, 2019 by JonathanLorimer
1
Necessary Extension Missing for 10.2
#17 opened Sep 8, 2019 by JonathanLorimer
Missing Typeclass required for sample code in chapter 5
#15 opened Aug 29, 2019 by Benjmhart
Minor bugs in CH5 GADTs
#14 opened Aug 28, 2019 by JonathanLorimer
Section 2.2 DataKinds - Error in user example
#11 opened Mar 24, 2019 by sholland1
1
Improperly linked snippet in DataKinds/Lists on epub
#6 opened Jan 7, 2019 by isovector
ProTip! Find all open issues with in progress development work with linked:pr.