Skip to content

use copatterns to define Sheaves; fully eta-expand

f1b33e8
Select commit
Loading
Failed to load commit list.
Merged

def: macros for creating copattern definitions #376

use copatterns to define Sheaves; fully eta-expand
f1b33e8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs