poly

poly is a minilanguage created in 2013.

lazy, functional, statically typed, parametric polymorphism, type inference

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