gvolpe/split-morphism

:curly_loop: Split Morphisms

语言：Haskell · GitHub 星标：11 · Fork：1

话题：category · category-theory · epimorphism · haskell · lens · monomorphism · morphism · optics

在 GitHub 上查看原仓库