bor0/gidti

Issues

• Chapter 2: More info for quantifiers

  #19 opened 6 years ago by nbloomf
  1

• Chapter 1: consistency and completeness

  #15 opened 6 years ago by nbloomf
  2

• [4.1.1] Pattern matching

  #36 opened 6 years ago by nbloomf
  1

• Chapter 3: sums are tagged unions

  #27 opened 6 years ago by nbloomf
  1

• [4.1.3] :let vs let

  #38 opened 6 years ago by nbloomf
  0

• [4.1.4] Iterative process -> tail recursion

  #40 opened 6 years ago by nbloomf
  0

• More references for further reading

  #45 opened 6 years ago by nbloomf
  0

• Chapter 3: (another) note on note

  #34 opened 6 years ago by nbloomf
  0

• Chapter 3.4: note on note

  #33 opened 6 years ago by nbloomf
  0

• Chapter 2: functions

  #22 opened 6 years ago by nbloomf
  1

• Chapter 2: bound variables

  #24 opened 6 years ago by nbloomf
  1

• Chapter 2: table vs column proofs

  #26 opened 6 years ago by nbloomf
  0

• Chapter 2: multicharacter identifiers

  #21 opened 6 years ago by nbloomf
  0

• Hyphen encoding issue in acknowledgements

  #11 opened 6 years ago by nbloomf
  3

• [4.1.4] Recursive vs iterative processes

  #10 opened 6 years ago by bor0
  0

• [3.5] Lambda cube section

  #9 opened 6 years ago by bor0
  0

• [2] classical logic too fast?

  #7 opened 6 years ago by Chobbes
  0

• [2.1] logic introduction truth table concerns

  #6 opened 6 years ago by Chobbes
  3

• [3.1] Lambda calculus intro

  #8 opened 6 years ago by bor0
  0

• [3] ZFC and Peano introductions

  #3 opened 6 years ago by Chobbes
  1

• [2.1] MU puzzle example issues

  #1 opened 6 years ago by Chobbes
  0

• 3.1 logical connectives commutativity

  #5 opened 6 years ago by Chobbes
  3