Program menurut tycho.sf.net

Tycho adalah generator typechecker yang ditulis di Java, dirancang untuk bekerja dengan parser yang dihasilkan oleh SableCC, generator parser berbasis Java. Ini menghasilkan typechecker yang melintasi pohon parse yang diberik