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