7.7
Functional Data Structures in Typed Racket
The data structures in this library are based on the work of
Chris Okasaki and Phil Bagwell, including those in the
Purely Functional Data Structures by Okasaki.
All of the data structures are implemented in Typed Racket.