projects / jolie.agda.git / commit
| author | Eugene Akentyev <ak3ntev@gmail.com> | |
| Sat, 22 Oct 2016 20:07:35 +0000 (23:07 +0300) | ||
| committer | Eugene Akentyev <ak3ntev@gmail.com> | |
| Sat, 22 Oct 2016 20:07:35 +0000 (23:07 +0300) | ||
| commit | da9b32f2ad22cde071e15c9abbf2ef89c12b25a8 | |
| tree | 3052f41ee6b59174b4f6db0dfd16ef9a5f53dadd | tree | snapshot |
| parent | c5f6d3d3148e590510421757e34d47f6f171c065 | commit | diff |
| .gitignore | diff | blob | history | |
| src/Typecheck.agda | diff | blob | history |