| Key: |
STR-310
|
| Type: |
Improvement
|
| Status: |
Closed
|
| Resolution: |
Fixed
|
| Priority: |
Major
|
| Assignee: |
Unassigned
|
| Reporter: |
Eelco Visser
|
| Votes: |
0
|
| Watchers: |
0
|
|
If you were logged in you would be able to see more operations.
|
|
|
|
Original Estimate:
|
Unknown
|
Remaining Estimate:
|
Unknown
|
Time Spent:
|
Unknown
|
|
|
Remove the following features from the language
- contextual rules
- literate programming comments (\begin{code} ... \end{code})
- strategy rules ( L :: s1 --> s2 )
- thread
- modified congruences
|
|
Description
|
Remove the following features from the language
- contextual rules
- literate programming comments (\begin{code} ... \end{code})
- strategy rules ( L :: s1 --> s2 )
- thread
- modified congruences
|
Show » |
|
|
remove obscure features