| From: Danny Yoo (dyoo at cs.wpi.edu) Date: Wed Apr 25 15:44:04 EDT 2012 |
|
I've been telling people to use 2htdp/image instead of htdp/image, assuming that htdp/image has been deprecated. But I look at the documentation to htdp/image, and I see no such warning. I wanted to double check my understanding: is htdp/image considered deprecated in favor of 2htdp/image? Thanks!
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}