Skip to content

Use tut:book in invariantmonoidal doc#1157

Merged
fthomas merged 1 commit intotypelevel:masterfrom ceedubs:tut-bookJun 24, 2016

Commits

Commits on Jun 23, 2016