SSH-5: Support Thread, Abs, and SVar(Mod("Cons", "T"))
Submitted on 21 March 2004 at 21:16
# Thread ?
# Abs ?
# SVar(Mod(“Cons”, “T”)) ?
Issue Log
On 11 April 2004 at 20:34 Jira commented:
SSH-5, martin:
No idea what this does.Mod -> Strategy {cons(“ModCongNoArgs”)}
Mod “(” {Strategy “,”}* “)” -> Strategy {cons(“ModCong”)}
Id “^” Id -> Mod {cons(“Mod”)}
On 11 April 2004 at 21:00 Jira commented:
SSH-5, martin:
The ^D ^T have been identified as the distributing and threading congruence. Interesting construct ;) .
On 11 April 2004 at 22:36 Jira commented:
SSH-5, martin:
Will be handled by separate issues.
Log in to post comments