diff options
| author | Neil Mitchell <unknown> | 2008-08-18 12:53:04 +0000 |
|---|---|---|
| committer | Neil Mitchell <unknown> | 2008-08-18 12:53:04 +0000 |
| commit | 1f3b576d0fde01973367a3876878482449ea8194 (patch) | |
| tree | 1d95e3132d5a12d550330adb12e2ac9de0ca27de /doc | |
| parent | dd31867c5cbfacda8dfb18acf8fba1923c5ddff1 (diff) | |
Remove Explicit top-level forall's when pretty-printing signatures
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions