projects / jolie.agda.git / commit
| author | Eugene Akentyev <ak3ntev@gmail.com> | |
| Thu, 19 Jan 2017 18:22:42 +0000 (21:22 +0300) | ||
| committer | Eugene Akentyev <ak3ntev@gmail.com> | |
| Thu, 19 Jan 2017 18:22:42 +0000 (21:22 +0300) | ||
| commit | 07111ae79abd847aab7ff427a6260e4c84e535fe | |
| tree | 60494d9e9c7a18e19317231f435516cea3535a00 | tree | snapshot |
| parent | 326ef04170ef42b0b19c482d6b7ca4a23f87c5a7 | commit | diff |
| src/Expr.agda | diff | blob | history | |
| src/Variable.agda | diff | blob | history |