packages feed

FiniteCategories-0.1.0.0: test/ExampleAdjunction/ExampleAdjunctionDiag2.fscg

<SRC>
6
0
1
</SRC>

<TGT>
6
A -1-> B 
B -5-> E
A -2-> C
C -6-> F
D -3-> E
D -4-> F
A -7-> D
A -7-> D -4-> F = A -2-> C -6-> F
A -7-> D -3-> E = A -1-> B -5-> E
</TGT>

0 => E
1 => F