projects / jolie.agda.git / commit
| author | Eugene Akentyev <ak3ntev@gmail.com> | |
| Sat, 5 Nov 2016 14:18:36 +0000 (17:18 +0300) | ||
| committer | Eugene Akentyev <ak3ntev@gmail.com> | |
| Sat, 5 Nov 2016 14:18:36 +0000 (17:18 +0300) | ||
| commit | a27ccbfc07041113b88033604ad25478bed596ec | |
| tree | 5a1e472c2e25bbeb2f184044b87a9418f71005cf | tree | snapshot |
| parent | 417008d23c8aabf22cb044051993f0f07061c6c2 | commit | diff |
| src/Behaviour.agda | diff | blob | history | |
| src/Type.agda | diff | blob | history | |
| src/Typecheck.agda | diff | blob | history |