2 ms·There was Liskell, but unfortunately it seems to be unmaintained :(by chriswarbo 10y agoThere was Liskell, but unfortunately it seems to be unmaintained :(