projects / jolie.agda.git / commit
| author | Eugene Akentyev <ak3ntev@gmail.com> | |
| Sun, 8 Jan 2017 16:52:36 +0000 (21:52 +0500) | ||
| committer | Eugene Akentyev <ak3ntev@gmail.com> | |
| Sun, 8 Jan 2017 16:52:36 +0000 (21:52 +0500) | ||
| commit | dd77c467806b6705926f7ebecbae339ec489a8e7 | |
| tree | c83ba43a5f5e21adc448d607d4eccb7e93def83e | tree | snapshot |
| parent | 8501ad7f372d8e16a2830cf126fb58863799a564 | commit | diff |
| src/TypingBehaviour.agda | diff | blob | history |