projects / jolie.agda.git / commit
| author | Eugene Akentyev <ak3ntev@gmail.com> | |
| Wed, 22 Feb 2017 19:44:19 +0000 (22:44 +0300) | ||
| committer | Eugene Akentyev <ak3ntev@gmail.com> | |
| Wed, 22 Feb 2017 19:44:19 +0000 (22:44 +0300) | ||
| commit | 321ab466cfedb850d2ec129b78840294075d08ad | |
| tree | b97925decbc1bf47b59c2085e6126eb9e25bff95 | tree | snapshot |
| parent | 84fbee90e160375638ee76ab14a9d2513ca6a992 | commit | diff |
| src/BehaviouralSemantics.agda | diff | blob | history | |
| src/Type.agda | diff | blob | history | |
| src/TypingBehaviour.agda | diff | blob | history |