projects / jolie.agda.git / commit
| author | Eugene Akentyev <ak3ntev@gmail.com> | |
| Wed, 7 Dec 2016 20:32:24 +0000 (23:32 +0300) | ||
| committer | Eugene Akentyev <ak3ntev@gmail.com> | |
| Wed, 7 Dec 2016 20:32:24 +0000 (23:32 +0300) | ||
| commit | a867bc46b977e21129798df3bc337177e8514c6f | |
| tree | 87c1c8960f81ee831c693608566565c290bd1a50 | tree | snapshot |
| parent | bba29dc26835ad1c240d07b1ea18813369a9f903 | commit | diff |
| src/Typecheck.agda | diff | blob | history |