projects / jolie.agda.git / commit
| author | Eugene Akentyev <ak3ntev@gmail.com> | |
| Thu, 26 Jan 2017 07:22:16 +0000 (10:22 +0300) | ||
| committer | Eugene Akentyev <ak3ntev@gmail.com> | |
| Thu, 26 Jan 2017 07:22:16 +0000 (10:22 +0300) | ||
| commit | 84fbee90e160375638ee76ab14a9d2513ca6a992 | |
| tree | b1e36a8ba66d2c7c6b8cab8aa5e404b72ba782cf | tree | snapshot |
| parent | eb93f60e8417eb8d5ce18c5d5a74c9833aa4da69 | commit | diff |
| src/BehaviouralSemantics.agda | diff | blob | history |