[dekhn]

My point was that the first paragraph of the post is simply misleading.

Now that I understand Elm is an esoteric system and these results are irrelevant outside its solution domain, I don't really care.

[rybosome]

Surely the fact that such a valuable tool can be implemented due to Elm's "esoteric" nature (not sure I agree) is of interest?