From: Hannu Niemistö Date: Wed, 25 Oct 2017 11:13:18 +0000 (+0300) Subject: Merge "(refs #7573) Provide typeable with functions with three effects" X-Git-Tag: v1.31.0~96 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=e41068eaf0693ac61ba1c48e5e3e5e2c4c09045b;p=simantics%2Fplatform.git Merge "(refs #7573) Provide typeable with functions with three effects" --- e41068eaf0693ac61ba1c48e5e3e5e2c4c09045b