VictorTaelin/Interaction-Calculus

Issues

• typo in 2nd diagram (of commutation law)

  #20 opened 6 months ago by tribbloid
  1

• More explanation about the relation to symmetric interaction combinators

  #3 opened a year ago by WorldSEnder
  4

• Some programs make it hang/loop forever

  #16 opened a year ago by Boscop
  2

• benchmarks for comparison

  #2 opened a year ago by liangdzou
  1

• Example stackoverflow

  #8 opened a year ago by ice1000
  0

• Error in rewrite implementation

  #5 opened 6 years ago by emturner
  2

• Add extension for non-deterministic choice

  #4 opened 6 years ago by rashane-murray
  1

• Naming

  #1 opened 6 years ago by VictorTaelin
  6