jespercockx/agda-lecture-notes

Issues

• numeral 6 cannot be used yet

  #4 opened 8 months ago by dimitri-xyz
  2

• No longer proving that length distributes over concatenation

  #5 opened 8 months ago by dimitri-xyz
  1

• "Parameters vs. indices" side-note overflows

  #12 opened 8 months ago by jskri
  1

• Interactive programming giving different result for code snippet (25)

  #6 opened 2 years ago by jmmarulang
  3

• Exercise 2.6 needs to use "with" but that has not been taught, yet.

  #3 opened 3 years ago by dimitri-xyz
  2