buzden/idris2-coop

Issues

• Add an alternative, indeed parallel interpreter for the `Coop`

  #48 opened a year ago by buzden
  0

• Separate the current particular interpreter from the `Coop` data structure

  #45 opened a year ago by buzden
  0

• Remove `RaceFence` from the `Coop` data type

  #46 opened a year ago by buzden
  0