Permalink
Browse files

Check off parameters/LTM on TODO.S05

  • Loading branch information...
1 parent f341570 commit 4158fa911a3cf84fab39138250775e37f72e9f54 @sorear committed Jan 29, 2012
Showing with 1 addition and 2 deletions.
  1. +1 −2 docs/TODO.S05
View
@@ -30,8 +30,7 @@ LOL: feature requires slice context mappings.
(1172) No auto-declared temporary variables $x = <.ident>
(1178) No bindings to existing variables
(1186) No || @array temporal-alternation syntax DISCUSS
-(1253) No handling of formal parameters in LTM
-(1276) Declarativeness of constants is insufficiently general
+(1276) Declarativeness of constants is excessively general
(1461) DISCUSS: STD parses EXPR in assertion:variable, why?
(1585) <[ z..a ]> not treated as compile error DISCUSS
(1679) No <.>

0 comments on commit 4158fa9

Please sign in to comment.