diff options
| author | Kathy Gray | 2015-03-18 16:11:03 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-03-18 16:11:03 +0000 |
| commit | 3453e4982f6d3b6112b0d3c8d114c425d91aa330 (patch) | |
| tree | 20d4655d40d1f4919a13784c2f24f29b351a5020 /language/l2.lem | |
| parent | 7e4c3a75bae473f7e3fc1117187b7bcacef3c249 (diff) | |
Handle type/kind variables in val spec vs function declaration as equal, although the function ones are optional
Diffstat (limited to 'language/l2.lem')
0 files changed, 0 insertions, 0 deletions