Re: [Typer] [Git][monnier/typer][ja-barszcz] 21 commits: Delay parsing of declarations until elaboration for define-operator

...

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