Giters

MonoidalAttackTrees / non-comm-monads-adjoint-models

Non-Commutative Monads from Commutative/Non-Commutative Adjoint Models

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Non-Commutative Monads from Commutative/Non-Commutative Adjoint Models

Languages

Language:TeX 90.4%Language:Haskell 7.0%Language:Agda 1.5%Language:Makefile 1.2%Language:Shell 0.0%