The Google Group Pure Lang (for the Pure programming language) is
having something of a discussion about an implementation of Bertrand
in Pure, either using Pure to implement Bertrand, or else implementing
Bertrand-like facilities as an extension to Pure.
See
http://groups.google.com/group/pure-lang
Pure is a pretty cool language, being based on a very fast term-
rewriting system.