This project was developed during the Program Calculation course and it
follows rigorous programming methods through the calculation of programs. It was
developed using Haskell in combination with
lhs2TeX
making it a literate
programming project where the code meets it's natural documentation.
Nelson Estevão | Pedro Ribeiro | Rui Mendes |
March 2019 - June 2019