diff options
author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-03-31 05:34:36 +0100 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-03-31 05:34:36 +0100 |
commit | bd134c7b2a6880bf3858fd8c27fa16ab946d7718 (patch) | |
tree | 811926786f30e17ed0370ad80d9f444009ea7213 /latex-test/src/Simple | |
parent | f3c7cd34d066cd40cb4983893165de038974fd95 (diff) |
Print kind signatures on GADTs
Diffstat (limited to 'latex-test/src/Simple')
0 files changed, 0 insertions, 0 deletions