* The teaching languages come with a new teachpack, 2htdp/abstraction, which allows instructors and students to use a number of abstractions in ISL: for/* loops, match, define-type and type-cases.
* The 2htdp/universe again allows the creation of executables from drracket (and they behave properly when run independently of drracket). On Jun 5, 2015, at 11:03 AM, Robby Findler <[email protected]> wrote: > * Added data/enumerate: a library that supports efficient enumeration > of data structures > > * DrRacket's online check syntax works with images and other non-text content > > * DrRacket's blueboxes are available more often and contain methods > and constructor information > > * DrRacket's "Open Require Path" menu item supports ".." in relative pathnames > > * Redex's redex-check uses enumeration to try to find counter-examples > (in addition to using random generation, as before) > > * Redex's generate-term accepts additional arguments to return the > "i"-th member of a pattern using data/enumerate (meaning it > efficiently supports very large values of "i"). > > * Redex's examples include Launchbury's 1993 big-step lazy semantics > > * 2htdp/image: allow "polygons" to be built out of bezier curves > instead of just straight lines (see the docs for "pulled-point"). > > Robby > > > > On Fri, Jun 5, 2015 at 8:46 AM, Ryan Culpepper <[email protected]> wrote: >> The release announcement sketch that I have so far is below. Please >> mail me new items and/or edits. >> >> ** The items below are from the main repository only. Please >> review your package repositories for items after the split. >> >> ---------------------------------------------------------------------- >> >> - split repository (samth 29873382) >> >> mflatt: >> - git pkg support (babd4202, bbf154ba, fbdfa365) >> - impersonator protocol changes (0b71b848) >> - logging changes (65e323d2, 83b45957, 83b45957, 58eb8024) >> - restore Cygwin support (cceda783) >> - "raco pkg {install,update} --clone" (6379aadd) >> - Unicode 7.0 (9c7d0b87) >> - iOS? (af6c3961) >> >> robby: >> - avoid redundant instanceof/c contracts (e589f591) >> >> ryanc: >> - openssl: use TLS by default (933a71ce) >> >> samth: >> - avoid requiring contracts when not used (8ea8c54e) >> >> asumu: >> - type tooltips (c2abbc70) >> >> jay: >> - data/enumerate (981a68bb) >> >> ---------------------------------------------------------------------- >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Racket Developers" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To post to this group, send email to [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/racket-dev/5571A84D.8020902%40ccs.neu.edu. >> For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/CAL3TdOPooPfTj3m%3D3a8z%3DOZObubyMjnEeuo2zjZwJWJ3Zgdgng%40mail.gmail.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/96680804-B6CB-49D2-8DD6-9EA9A98A3D3C%40ccs.neu.edu. For more options, visit https://groups.google.com/d/optout.
