]> gerrit.simantics Code Review - simantics/platform.git/commit
Merge "(refs #7573) Provide typeable with functions with three effects"
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Wed, 25 Oct 2017 11:13:18 +0000 (14:13 +0300)
committerGerrit Code Review <gerrit2@www.simantics.org>
Wed, 25 Oct 2017 11:13:18 +0000 (14:13 +0300)
commite41068eaf0693ac61ba1c48e5e3e5e2c4c09045b
treec4cd6c5cd28c2d4435870d13e3b60885c62e8a7d
parent1ad27f09190e07bb97da55f146330c8be0d86e78
parentfac333b05f9c2651dc8d164e51e1c3468c524415
Merge "(refs #7573) Provide typeable with functions with three effects"