search

racket / htdp

Other
91 stars 70 forks source link

Linkify natural-number/c #75

Closed sorawee closed 5 years ago

sorawee commented 5 years ago

This commit fixes https://github.com/racket/racket/issues/2541

sorawee commented 5 years ago

Already fixed by https://github.com/racket/htdp/commit/86ad0743fad05d7ed431b09979747f68aba97d3a

rfindler commented 5 years ago

Oh sorry-- I missed this one!

Robby

sorawee commented 5 years ago

Haha, no worries! Your fix is better IMO.