GitHub repository: sballari/While-language
Primary language: Haskell
Description: Analizzatore statico non relazionale (domini: Segni - Intervalli)