diff options
author | Florian Franzmann | 2015-08-03 20:00:38 +0200 |
---|---|---|
committer | Florian Franzmann | 2015-08-04 22:43:31 +0200 |
commit | 21e99564c6d9687c2f541330cca172f3b635e5ea (patch) | |
tree | 7da7cf36d058fc192953f4bfebaad53cb2101f90 /ChangeLog | |
parent | fa9dfac746b5cec8a500b1bb11f7e2186abf5759 (diff) |
haskell/haskell-reflection: new spell, reifies arbitrary terms into types that can be reflected back into terms
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -22,6 +22,8 @@ functors * haskell/haskell-kan-extensions: new spell, Kan extensions, Kan lifts, various forms of the Yoneda lemma + * haskell/haskell-reflection: new spell, reifies arbitrary terms into + types that can be reflected back into terms 2015-08-02 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * haskell/haskell-cookie: new spell, cookie parsing and rendereing for |