2 lines
27 B
Text
2 lines
27 B
Text
|
$ acl2 <<< '(cw "Hello.")'
|
|
|
$ acl2 <<< '(cw "Hello.")'
|