search

racket / redex

Other
93 stars 36 forks source link

Refine hash table's type. #237

Closed NoahStoryM closed 3 years ago

NoahStoryM commented 3 years ago

https://github.com/racket/typed-racket/pull/1081

rfindler commented 3 years ago

Thank you. Separately from racket/typed-racket#1081, this seems like a good improvement to redex.