]> git.xn--bdkaa.com Git - jolie.agda.git/commit
Merge pull request #1 from ak3n/in_types
authorEugene Akentyev <ak3ntev@gmail.com>
Wed, 7 Dec 2016 13:42:16 +0000 (16:42 +0300)
committerGitHub <noreply@github.com>
Wed, 7 Dec 2016 13:42:16 +0000 (16:42 +0300)
commitbba29dc26835ad1c240d07b1ea18813369a9f903
tree7a78dd8d01a81d91e6d7b04700fff7ef2b1988a8
parent417008d23c8aabf22cb044051993f0f07061c6c2
parent20163ca20a797873fdc98a59260c379631ae9db4
Merge pull request #1 from ak3n/in_types

In types version