levy

levy is a minilanguage created in 2013.

call-by-push value, statically typed

• Tags: minilanguage
• Early development of levy happened in https://github.com/andrejbauer/plzoo/issues
• Read more about levy on the web: 1.