edwinb/TypeDD-Samples

Issues

• Listing 6.8 `toFormat` '%' case

  #11 opened 4 years ago by blouerat
  0

• How does the inferring work on this line?

  #16 opened 6 years ago by coodoo
  0

• Wrong word in Ch13/Vending.idr

  #15 opened 6 years ago by torchlard
  0

• listing 11.31

  #14 opened 7 years ago by bburdette
  1

• definition of ProcState in Chapter 15

  #8 opened 8 years ago by clayrat
  0

• Can't find implementation of Ord a

  #5 opened 8 years ago by williamdemeo
  1

• ^D in the average word length example causes weird behavior

  #4 opened 8 years ago by 1-p
  0