isovector/thinking-with-types

Issues

• Existential Type Elimination Aliases Break Example

  #23 opened 5 years ago by agentultra
  1

• makePropertyObj code does not work and left undefined, 13.3. USING GENERIC METADATA, page 183

  #33 opened 2 years ago by salimp2009
  2

• EPub & PDF

  #32 opened 2 years ago by mkohlhaas
  1

• Exercise 1.4 - i transformation is incorrect

  #28 opened 5 years ago by lenary
  1

• 2.2 Data Kinds: the code on page 29 will not work as is

  #30 opened 4 years ago by Ptival
  1

• Allegedly ContT here isn't ContT!

  #24 opened 5 years ago by isovector
  1

• DeleteElem isn't described in the prose

  #26 opened 5 years ago by isovector
  0

• Color print

  #21 opened 5 years ago by jerbaroo
  1

• Additional required typeclasses for 15.4

  #22 opened 5 years ago by Benjmhart
  0

• Issues getting code from OpenSums to compile

  #18 opened 5 years ago by JonathanLorimer
  1

• Necessary Extension Missing for 10.2

  #17 opened 5 years ago by JonathanLorimer
  0

• Missing Typeclass required for sample code in chapter 5

  #15 opened 5 years ago by Benjmhart
  0

• Minor bugs in CH5 GADTs

  #14 opened 5 years ago by JonathanLorimer
  0

• Section 2.2 DataKinds - Error in user example

  #11 opened 6 years ago by sholland1
  1

• No chapter 2 in sample chapters

  #7 opened 6 years ago by retnuh
  1

• Documentation on how to build the book ?

  #1 opened 6 years ago by revskill10
  5

• EPUB formatting on leanpub

  #5 opened 6 years ago by mcmayer
  4

• Improperly linked snippet in DataKinds/Lists on epub

  #6 opened 6 years ago by isovector
  0

• Your sample chapter is the whole book!

  #4 opened 6 years ago by MarcelloDuarte
  3