diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2014-09-05 18:13:24 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2014-09-05 18:13:24 -0500 |
| commit | aacaa91951b16f22e3ad54412974b81c32230a8c (patch) | |
| tree | d00b833e52a6ca0e66fbdfdc131695b9cea90ecc /resources/latex | |
| parent | eee52f697233f99e23c1d8183511229fb93e3f3e (diff) | |
Follow changes to TypeAnnot in GHC HEAD
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'resources/latex')
0 files changed, 0 insertions, 0 deletions