projects / jolie.agda.git / commit
| author | Eugene Akentyev <ak3ntev@gmail.com> | |
| Mon, 16 Jan 2017 12:51:58 +0000 (15:51 +0300) | ||
| committer | Eugene Akentyev <ak3ntev@gmail.com> | |
| Mon, 16 Jan 2017 12:51:58 +0000 (15:51 +0300) | ||
| commit | eacd202d5178fb288464136e4116895faa1c2e36 | |
| tree | 0625ded1a457606365e0fff2f2ae016e503f45dd | tree | snapshot |
| parent | 91d804c1b5711fcea6c8e31665da344d0e60f161 | commit | diff |
| src/TypingBehaviour.agda | diff | blob | history | |
| src/TypingService.agda | diff | blob | history |