Project developed for the Calculation of Programs course.
All programs are calculated, and thus their correctness is proven.
Written in literal Haskell through the use of lhs2TeX.
CarlosHSF99/Calculation-of-Programs
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|