diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-03-03 10:37:59 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-03-03 10:37:59 +0000 |
| commit | 0453d5c45e8e8204f39311eebb0f7093d9e26b9b (patch) | |
| tree | f921f0e9c6ed360eb825949093576196f7b9482c /src/Transfer/Syntax/Test.hs | |
| parent | 145e0a4c8212a32c669d14cb67a615add5f0ad56 (diff) | |
Transfer: added beginnings of a type checking algorithm description.
Diffstat (limited to 'src/Transfer/Syntax/Test.hs')
0 files changed, 0 insertions, 0 deletions