PIE

A language from CMU similar to Actus.