mac-lane

There are 0 repository under mac-lane topic.

spidermoy / Monads_KleisliTriples_Proof
Computer Scientist Degree - Thesis Work
coq coq-formalization unam fciencias monads kleisli category-theory functional-programming mexico-city natural-transformation functor mac-lane computer-science-degree
Language:Coq 1