diff options
| author | krasimir <krasimir@chalmers.se> | 2010-07-07 10:12:08 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-07-07 10:12:08 +0000 |
| commit | c066721dd1b200eb7e22c8c242bf48a83e5fcc69 (patch) | |
| tree | f0eda3a37c33b2ea0f8d1524eb70328b36184322 /src/runtime/javascript/grammar.js | |
| parent | 2cd3523d0466f87bc50306ae27b5afb9040f5c87 (diff) | |
fix in example/tutorial/smart/SmartFre.gf to make the dependent types work nicely
Diffstat (limited to 'src/runtime/javascript/grammar.js')
0 files changed, 0 insertions, 0 deletions