projects / jolie.agda.git / commit
| author | Eugene Akentyev <ak3ntev@gmail.com> | |
| Fri, 4 Nov 2016 22:12:25 +0000 (01:12 +0300) | ||
| committer | Eugene Akentyev <ak3ntev@gmail.com> | |
| Fri, 4 Nov 2016 22:12:25 +0000 (01:12 +0300) | ||
| commit | 417008d23c8aabf22cb044051993f0f07061c6c2 | |
| tree | f0119c19a3420b8eec992febd3c58c617e3cf19a | tree | snapshot |
| parent | 485cdafc559ecdf56affcf0a5950e9895b38a572 | commit | diff |
| src/Type.agda | diff | blob | history |