Conteúdo abordado na unidade curricular Cálculo de Programas no ano letivo 2025/2026.
Neste repositório poderás encontrar o seguinte conteúdo:
- resolução das fichas práticas
- bibliotecas de software em Haskell
Os conteúdos lecionados nesta unidade curricular estão disponíveis no website da cadeira: Cálculo de Programas.
Se encontrarem erros ou acharem que algo pode estar melhor entrem em contacto comigo.