levy is a minilanguage created in 2013.

call-by-push value, statically typed

• levy website
• levy first developed in https://github.com/andrejbauer/plzoo/issues
• Read more about levy on the web: 1.