From kjx at ecs.vuw.ac.nz  Mon Dec  9 14:11:33 2019
From: kjx at ecs.vuw.ac.nz (kjx)
Date: Tue, 10 Dec 2019 11:11:33 +1300
Subject: [Grace-core] Ecstasy - another post-java language...
Message-ID: <276EB677-8BA2-4C2C-AED1-E1333C3A7A21@ecs.vuw.ac.nz>

https://xtclang.blogspot.com/2016/11/welcome-to-ecstasy-language-first.html
http://lambda-the-ultimate.org/node/5577

Their equality stuff looks.. interesting, they seem to be doing some stuff with multiple dispatch and retaining static types to runtime.

https://xtclang.blogspot.com/2019/06/the-quest-for-equality.html

It's "symmetric" for sure (relying I think on a closed world assumption)
but I'm not entirely sure it's "obvious" or "correct"

James