diff options
| author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-07-22 18:46:10 +0200 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-08-21 18:22:31 +0100 |
| commit | 3f404ba3c1b36212ae7507874aefb1e8cc107dd8 (patch) | |
| tree | 40dc5ca7af982b40eaed2d791b397323da3cbb0b /latex-test/src/Simple | |
| parent | dfb697b2d41319a6c14134edcd89da2fa49ecd99 (diff) | |
Refactor type renamer to rebinding and pure renaming phases.
Diffstat (limited to 'latex-test/src/Simple')
0 files changed, 0 insertions, 0 deletions