/SemanticaFormal

Repo para abrigar exercícios desenvolvidos nas aulas de Semântica Formal do curso de Ciência da Computação na Universidade Federal de Pelotas.

Primary LanguageHaskellMIT LicenseMIT

Semântica Formal

Repo para abrigar exercícios desenvolvidos nas aulas de Semântica Formal do curso de Ciência da Computação na Universidade Federal de Pelotas.