Open apblack opened 7 years ago
A method header
method doubleAll(xs:List⟦Number|String⟧) → Done {
generates the syntax error
Syntax error: a type containing a '⟦' must end with a '⟧'.
A method header
generates the syntax error