diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-08-16 16:57:21 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-16 16:57:21 -0400 |
commit | 7910af6db28602b2fb5d3c9c5227bcc3c076acdc (patch) | |
tree | c204f7a2b75e936a7d0dcfdd76693a1ce1a56daa /tests/gformText.lac | |
parent | 2c64a768d33ed6cbead84259a5cefae7d9c6f4e1 (diff) |
Signature ascription for type classes
Diffstat (limited to 'tests/gformText.lac')
0 files changed, 0 insertions, 0 deletions