Dead or useful?
I used it in dan grossman's programming languages course to learn about functional programming with immutable data, static types, modules (structures), pattern matching, and some other stuff.It was really nice to use.