String Character Length: Difference between revisions
Content deleted Content added
Line 66: | Line 66: | ||
alias stringlength { echo -a Your Name is: $len($$?="Whats your name") letters long! } |
alias stringlength { echo -a Your Name is: $len($$?="Whats your name") letters long! } |
||
==[[SML]]== |
==[[Standard ML | SML]]== |
||
'''Interpreter:''' [[Standard ML of New Jersey | SML/NJ]] 110.60, [[Moscow ML]] 2.01 (January 2004) |
'''Interpreter:''' [[Standard ML of New Jersey | SML/NJ]] 110.60, [[Moscow ML]] 2.01 (January 2004) |
||