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 /resources/html/Ocean.std-theme | |
| parent | f3c7cd34d066cd40cb4983893165de038974fd95 (diff) | |
Print kind signatures on GADTs
Diffstat (limited to 'resources/html/Ocean.std-theme')
0 files changed, 0 insertions, 0 deletions