1. 15

the “categorical theory of patches” paper

/r/compsci discussion

  1.