Skip to content

Commit af2438c

Browse files
JacquesCaretteJacquesCarette
committed
Deploying to gh-pages from @ 566e17b 🚀
1 parent 6e4465b commit af2438c

9 files changed

+824
-437
lines changed

‎Categories.Adjoint.Construction.Kleisli.html‎

Lines changed: 5 additions & 5 deletions
Large diffs are not rendered by default.

‎Categories.Category.Construction.Kleisli.html‎

Lines changed: 86 additions & 53 deletions
Large diffs are not rendered by default.

‎Categories.Category.Construction.Properties.Kleisli.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@
2727
<a id="715" href="Categories.Category.Construction.Properties.Kleisli.html#699" class="Function">T</a> <a id="717" class="Symbol">=</a> <a id="719" href="Categories.Adjoint.Properties.html#11927" class="Function">adjoint⇒monad</a> <a id="733" href="Categories.Category.Construction.Properties.Kleisli.html#660" class="Bound">F⊣G</a>
2828

2929
<a id="742" href="Categories.Category.Construction.Properties.Kleisli.html#742" class="Function">𝒞ₜ</a> <a id="745" class="Symbol">:</a> <a id="747" href="Categories.Category.Core.html#442" class="Record">Category</a> <a id="756" class="Symbol">_</a> <a id="758" class="Symbol">_</a> <a id="760" class="Symbol">_</a>
30-
<a id="766" href="Categories.Category.Construction.Properties.Kleisli.html#742" class="Function">𝒞ₜ</a> <a id="769" class="Symbol">=</a> <a id="771" href="Categories.Category.Construction.Kleisli.html#378" class="Function">Kleisli</a> <a id="779" href="Categories.Category.Construction.Properties.Kleisli.html#699" class="Function">T</a>
30+
<a id="766" href="Categories.Category.Construction.Properties.Kleisli.html#742" class="Function">𝒞ₜ</a> <a id="769" class="Symbol">=</a> <a id="771" href="Categories.Category.Construction.Kleisli.html#503" class="Function">Kleisli</a> <a id="779" href="Categories.Category.Construction.Properties.Kleisli.html#699" class="Function">T</a>
3131

3232
<a id="786" class="Keyword">module</a> <a id="793" href="Categories.Category.Construction.Properties.Kleisli.html#793" class="Module">𝒞</a> <a id="795" class="Symbol">=</a> <a id="797" href="Categories.Category.Core.html#442" class="Module">Category</a> <a id="806" href="Categories.Category.Construction.Properties.Kleisli.html#636" class="Bound">𝒞</a>
3333
<a id="812" class="Keyword">module</a> <a id="819" href="Categories.Category.Construction.Properties.Kleisli.html#819" class="Module">𝒟</a> <a id="821" class="Symbol">=</a> <a id="823" href="Categories.Category.Core.html#442" class="Module">Category</a> <a id="832" href="Categories.Category.Construction.Properties.Kleisli.html#638" class="Bound">𝒟</a>

‎Categories.Monad.Commutative.Properties.html‎

Lines changed: 318 additions & 0 deletions
Large diffs are not rendered by default.

‎Categories.Monad.Commutative.html‎

Lines changed: 50 additions & 36 deletions
Large diffs are not rendered by default.

‎Categories.Monad.Strong.Properties.html‎

Lines changed: 49 additions & 49 deletions
Large diffs are not rendered by default.

‎Categories.Monad.Strong.html‎

Lines changed: 111 additions & 91 deletions
Large diffs are not rendered by default.

‎Everything.html‎

Lines changed: 102 additions & 101 deletions
Large diffs are not rendered by default.

‎index.html‎

Lines changed: 102 additions & 101 deletions
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)