Clarity

A functional schematic programming language made for research into generating programs from diagram representations.