tofu-tf/volga

Comprehensions for Arrows and Monoidal categories

语言：Scala · GitHub 星标：61 · Fork：6

话题：arrows · comprehension · linear-types · macros · scala · symmetric-monoidal-categories

在 GitHub 上查看原仓库