search

racket / typed-racket

Typed Racket
Other
521 stars 104 forks source link

Unicode lambda #1374

Open NoahStoryM opened 4 months ago

NoahStoryM commented 4 months ago
Checklist

Description of change

Add case-λ~,case-λ:,pcase-λ:,pλ:,λ:,popt-λ:,opt-λ:~.

sorawee commented 3 months ago

@NoahStoryM do you still want to work on this? It appears there's an error in the latest commit.

NoahStoryM commented 3 months ago

@NoahStoryM do you still want to work on this? It appears there's an error in the latest commit.

Sorry, I just saw this reply now. I think the error is because it was tested with old version Racket (8.13.0.4), which does not define case-λ.