REPL let bindings can't define infix operators #759
Labels
command-line-repl
Related to Cryptol's text-based UI
parser
Issues with lexing or parsing.
UX
Issues related to the user experience (e.g., improved error messages)
I can define named values or functions at the REPL with
let
, but I can't define infix operators:I would expect all of those forms to work.
The text was updated successfully, but these errors were encountered: