projects / jolie.agda.git / commit
| author | Eugene Akentyev <ak3ntev@gmail.com> | |
| Thu, 15 Dec 2016 20:50:22 +0000 (23:50 +0300) | ||
| committer | Eugene Akentyev <ak3ntev@gmail.com> | |
| Thu, 15 Dec 2016 20:50:22 +0000 (23:50 +0300) | ||
| commit | 912e12bc94880bd5b7af23b6b720ea1065c53485 | |
| tree | 5d40a49e097dbafe288e4c429794b6bce8dde984 | tree | snapshot |
| parent | 9fbadb5495106c0c346a70ee545dd122a98266b3 | commit | diff |
| src/Type.agda | diff | blob | history | |
| src/Typecheck.agda | diff | blob | history |