This project follows program design by calculation methods with literate
programming principles using Haskell and lhs2TeX
.
Filipe Felício | João Correia | Henrique Ribeiro |
March 2020 - June 2020
Name | Name | Last commit date | ||
---|---|---|---|---|
parent directory.. | ||||
This project follows program design by calculation methods with literate
programming principles using Haskell and lhs2TeX
.
Filipe Felício | João Correia | Henrique Ribeiro |