diff options
author | 2013-03-27 13:51:16 -0700 | |
---|---|---|
committer | 2013-03-27 13:51:16 -0700 | |
commit | 5296b17758c3e27bf551e9a322323a37983d7abb (patch) | |
tree | a7c818eedf1608eec0e59ff73ac3ee8356939751 /Source/Jennisys | |
parent | 5f05e3a1c194dcda48115d7b6a1c5777bd2d5287 (diff) |
The "choose" statement, hacky and specialized as it was, is now gone. Use the assign-such-that statement instead. For example: x :| x in S;
Diffstat (limited to 'Source/Jennisys')
0 files changed, 0 insertions, 0 deletions