From: Eugene Akentyev <ak3ntev@gmail.com>
Date: Wed, 7 Dec 2016 13:42:16 +0000 (+0300)
Subject: Merge pull request #1 from ak3n/in_types
X-Git-Url: https://git.xn--bdkaa.com/?a=commitdiff_plain;h=bba29dc26835ad1c240d07b1ea18813369a9f903;p=jolie.agda.git

Merge pull request #1 from ak3n/in_types

In types version
---

bba29dc26835ad1c240d07b1ea18813369a9f903