Programas por tycho.sf.net

Tycho é um gerador de verificação de tipo escrito em Java, projetado para trabalhar com parsers gerados pela SableCC, o gerador de parser baseado em Java. Gera verificadores de tipo que atravessam uma determinada árvore de pa