projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f54278f) | patch
fix eta for glue (note: the type is still missing from unglue, compare with unglueU)
authorAnders Mörtberg <andersmortberg@gmail.com>
Wed, 19 Sep 2018 07:10:51 +0000 (09:10 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Wed, 19 Sep 2018 07:10:51 +0000 (09:10 +0200)
commit963c6f30bcf0701d574f565062189bd822702ca9
tree5689b39c7d68e73e1f2bcd0fe95f7683fb8f5e09tree | snapshot
parentf54278f19f8cde3b45b278c931a52e890554cf1ecommit | diff
fix eta for glue (note: the type is still missing from unglue, compare with unglueU)
Eval.hs diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.