diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-06-19 19:35:04 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-06-19 19:35:04 +0000 |
| commit | badae804541d427488f8a648efecaa5ee9b99b2f (patch) | |
| tree | 43afa2bfd4d6e9587dc33bc2923a09764a8d2a10 /src/GF | |
| parent | 780276850c013e388b3452f0d2b640c4cb761a14 (diff) | |
restricted functor example
Diffstat (limited to 'src/GF')
0 files changed, 0 insertions, 0 deletions