projects / jolie.agda.git / commit
| author | Eugene Akentyev <ak3ntev@gmail.com> | |
| Sun, 8 Jan 2017 01:22:36 +0000 (06:22 +0500) | ||
| committer | Eugene Akentyev <ak3ntev@gmail.com> | |
| Sun, 8 Jan 2017 01:22:36 +0000 (06:22 +0500) | ||
| commit | 54b8b36bc6a238d1a13bd4ee4f0913f4115e1430 | |
| tree | ebaf80c67316ef0fda0622fb8244917ae2d4f305 | tree | snapshot |
| parent | 25ab3d57143ef9c26f1fa9922282b6754438a02c | commit | diff |
| src/Behaviour.agda | diff | blob | history | |
| src/TypingBehaviour.agda | diff | blob | history |