projects / jolie.agda.git / commit
| author | Eugene Akentyev <ak3ntev@gmail.com> | |
| Sat, 17 Dec 2016 15:58:21 +0000 (18:58 +0300) | ||
| committer | Eugene Akentyev <ak3ntev@gmail.com> | |
| Sat, 17 Dec 2016 15:58:21 +0000 (18:58 +0300) | ||
| commit | cc67ec1eccd6cdcf49658be50420f49a2315db0e | |
| tree | 5fc9b1d19599ae8f61457d25ae90cb04478d6046 | tree | snapshot |
| parent | 912e12bc94880bd5b7af23b6b720ea1065c53485 | commit | diff |
| src/Behaviour.agda | diff | blob | history | |
| src/Typecheck.agda | diff | blob | history |