projects / jolie.agda.git / commit
| author | Eugene Akentyev <ak3ntev@gmail.com> | |
| Wed, 7 Dec 2016 13:41:23 +0000 (16:41 +0300) | ||
| committer | Eugene Akentyev <ak3ntev@gmail.com> | |
| Wed, 7 Dec 2016 13:41:23 +0000 (16:41 +0300) | ||
| commit | 20163ca20a797873fdc98a59260c379631ae9db4 | |
| tree | 7a78dd8d01a81d91e6d7b04700fff7ef2b1988a8 | tree | snapshot |
| parent | 80305d19e403d49ff8d6d95414dacbf980204ccd | commit | diff |
| src/Service.agda | diff | blob | history |