K

Kythera

A compact general-purpose language with first-class types.