Hacker News new | ask | show | jobs
by hakl 5686 days ago
I remember something like this called Liskell, but I think it died.
1 comments

The OP devotes a paragraph to it.
Oops, that's embarrassing. Should've read all the way through.