diff options
| author | krasimir <krasimir@chalmers.se> | 2010-06-07 12:56:05 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-06-07 12:56:05 +0000 |
| commit | 7d71704b3c93dd5009e19512a1a8bdab3b7567a1 (patch) | |
| tree | 190a3647dd85747e11889a51ed3d9a88556d6bab /examples/tutorial/syntax/Syntax.gf | |
| parent | 7d9349271b4e46bc1fb4017c5a40689cdfd9188f (diff) | |
fix typo in category theory
Diffstat (limited to 'examples/tutorial/syntax/Syntax.gf')
0 files changed, 0 insertions, 0 deletions