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.
-
Notifications
You must be signed in to change notification settings - Fork 1
This practical work presents students with concrete problems to be implemented in Haskell. There is yet another objective: that of teaching how to document programs, to validate them and to produce quality technical-scientific texts.
CarlosHSF99/Calculation-of-Programs
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
This practical work presents students with concrete problems to be implemented in Haskell. There is yet another objective: that of teaching how to document programs, to validate them and to produce quality technical-scientific texts.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published