Chương trình theo tycho.sf.net

Tycho là một máy phát điện typechecker được viết bằng Java, được thiết kế để làm việc với các phân tích cú pháp được tạo ra bởi SableCC, máy phát điện phân tích cú pháp dựa trên Java. Nó tạo ra typecheckers mà đi qua một cây