Some people asked me whether "Pure" is still maintained. Apparently they are still using https://bitbucket.org/purelang/pure-lang which is indeed a bit outdated. I referred them to the Github site of course. Perhaps it might be useful to set there a prominent link to https://agraef.github.io/pure-lang/ (although one could find it if ...;)