barry-jay-personal/tree-calculus

Issues

• 2 Bugs in definitions of Z{f} and swap {f} in the PDF

  #7 opened a year ago by RonaldMonson
  5

• Some bugs in the PDF

  #6 opened a year ago by olydis
  2

• Opam package broken

  #5 opened 2 years ago by LasseBlaauwbroek
  1

• A Beautiful and Elegant Calculus

  #4 opened 3 years ago by zpyatt
  3

• pdfs

  #3 opened 4 years ago by stackdump
  0

• Dual licensed?

  #2 opened 4 years ago by palmskog
  3