equal
deleted
inserted
replaced
1922 and infixl 4 "&&" and infixl 2 "||" |
1922 and infixl 4 "&&" and infixl 2 "||" |
1923 and "!(if (_)/ then (_)/ else (_))") |
1923 and "!(if (_)/ then (_)/ else (_))") |
1924 (Haskell "True" and "False" and "not" |
1924 (Haskell "True" and "False" and "not" |
1925 and infixl 3 "&&" and infixl 2 "||" |
1925 and infixl 3 "&&" and infixl 2 "||" |
1926 and "!(if (_)/ then (_)/ else (_))") |
1926 and "!(if (_)/ then (_)/ else (_))") |
1927 (Scala "true" and "false" and "'!/ _" |
1927 (Scala "true" and "false" and "'! _" |
1928 and infixl 3 "&&" and infixl 1 "||" |
1928 and infixl 3 "&&" and infixl 1 "||" |
1929 and "!(if ((_))/ (_)/ else (_))") |
1929 and "!(if ((_))/ (_)/ else (_))") |
1930 |
1930 |
1931 code_reserved SML |
1931 code_reserved SML |
1932 bool true false not |
1932 bool true false not |