projects / jolie.agda.git / commit
| author | Eugene Akentyev <ak3ntev@gmail.com> | |
| Thu, 8 Dec 2016 12:59:23 +0000 (15:59 +0300) | ||
| committer | Eugene Akentyev <ak3ntev@gmail.com> | |
| Thu, 8 Dec 2016 12:59:23 +0000 (15:59 +0300) | ||
| commit | f6b87527dec4689bde6352664ac6afa2b46d47cf | |
| tree | ce04de9619c87b7e92b2036f25b62a3887268135 | tree | snapshot |
| parent | aace256a5e6dc6fbbe530996c84f8aa6a0d7994d | commit | diff |
| src/Typecheck.agda | diff | blob | history |