projects / jolie.agda.git / commit
| author | Eugene Akentyev <ak3ntev@gmail.com> | |
| Thu, 8 Dec 2016 19:53:08 +0000 (22:53 +0300) | ||
| committer | Eugene Akentyev <ak3ntev@gmail.com> | |
| Thu, 8 Dec 2016 19:53:08 +0000 (22:53 +0300) | ||
| commit | 9fbadb5495106c0c346a70ee545dd122a98266b3 | |
| tree | 7f220066a371581d4af04f3ec931cf0dd9950339 | tree | snapshot |
| parent | f6b87527dec4689bde6352664ac6afa2b46d47cf | commit | diff |
| src/Type.agda | diff | blob | history |