GitHub - MonoidalAttackTrees/non-comm-monads-adjoint-models: Non-Commutative Monads from Commutative/Non-Commutative Adjoint Models

Name		Name	Last commit message	Last commit date
Latest commit History 121 Commits
dialectica-formalization		dialectica-formalization
exchange-draft		exchange-draft
linearity-2018		linearity-2018
post-linearity-2018		post-linearity-2018
.gitignore		.gitignore
reviews-and-responses.txt		reviews-and-responses.txt