projects / jolie.agda.git / commit
| author | Eugene Akentyev <ak3ntev@gmail.com> | |
| Thu, 27 Oct 2016 21:07:58 +0000 (02:07 +0500) | ||
| committer | Eugene Akentyev <ak3ntev@gmail.com> | |
| Thu, 27 Oct 2016 21:07:58 +0000 (02:07 +0500) | ||
| commit | 626b6f758756b6fbba0e74fb3b8250fba1fec25f | |
| tree | 309f9c3abe5dc7da855737fbb750f44c1805f23f | tree | snapshot |
| parent | d364ed6481626c56925c426df950c32a72882307 | commit | diff |
| src/Expr.agda | diff | blob | history |