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