5 Aoû
2020
5 Aoû
'20
19:25
5295751f by Jean-Alexandre Barszcz at 2020-07-28T22:51:59-04:00 Assign the builtins Int.+, etc to suitable variables Int_+, etc.
BTW, you can always (well, after executing the corresponding `Built-in` operation) refer to builtins using the `##<name>` syntax, such as `##Int\.+`. Stefan