1. Moritz Heidkamp
  2. coops-protocols

Commits

Show all
Author Commit Message Date Builds
Moritz Heidkamp
add a name slot to the protocol record and implement a printer for it
Moritz Heidkamp
export protocol-specs accessor
Moritz Heidkamp
eggification
Moritz Heidkamp
turn protocols into records, no need for coops class
Moritz Heidkamp
initial import