Skip to content

Generalize graph, rename old def to finite graph - #44

Open
clayrat wants to merge 15 commits into
masterfrom
generalize-graph
Open

Generalize graph, rename old def to finite graph#44
clayrat wants to merge 15 commits into
masterfrom
generalize-graph

split Kleisli category for faster compile time

1efb344
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs