Came here to post just this. It is an "academic" language, designed more for teaching than for any production use, but it has a good pedigree and I've had some fun playing around with it.