summaryrefslogtreecommitdiffstats
path: root/ChangeLog
diff options
context:
space:
mode:
authorFlorian Franzmann2015-08-03 19:57:37 +0200
committerFlorian Franzmann2015-08-04 22:43:30 +0200
commitfa9dfac746b5cec8a500b1bb11f7e2186abf5759 (patch)
tree5fb954e5d7776c3a7f5a6796ffe064de522cf08f /ChangeLog
parent5c0de35b7a5d581771bba1b49668b506a17a92d0 (diff)
haskell/haskell-kan-extensions: new spell, Kan extensions, Kan lifts, various forms of the Yoneda lemma
Diffstat (limited to 'ChangeLog')
-rw-r--r--ChangeLog2
1 files changed, 2 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 22f73d062b..e3e464b904 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -20,6 +20,8 @@
* haskell/haskell-either: new spell, an either monad transformer
* haskell/haskell-adjunctions: new spell, adjunctions and representable
functors
+ * haskell/haskell-kan-extensions: new spell, Kan extensions, Kan lifts,
+ various forms of the Yoneda lemma
2015-08-02 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
* haskell/haskell-cookie: new spell, cookie parsing and rendereing for