You can use C-Reduce for any language (via teymour) — discussion

#plt