diff options
| author | krasimir <krasimir@chalmers.se> | 2010-03-15 16:35:00 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-03-15 16:35:00 +0000 |
| commit | 381a7a2f07f013f02df60ee345527df80c48bd84 (patch) | |
| tree | e2b5f860dae76b4da1e75a7df48475a4fba5c92a /src | |
| parent | c6f3111e67975d674a4f04cbd3a314a1aa6456fe (diff) | |
identity functor
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions