diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-03-15 16:48:35 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-03-15 16:48:35 +0000 |
| commit | 5da597da36ec78d7219978e36f9305f4b446093a (patch) | |
| tree | 21a984595477fef84edab3514b855eabf444c3a0 /src/GF | |
| parent | 379a969f6703107955b93837e9c9d5939c5a7f28 (diff) | |
Transfer prelude: added missing type arguments to some type classes.
Diffstat (limited to 'src/GF')
0 files changed, 0 insertions, 0 deletions
