3 ms·
See also "The Haskell Road to Logic, Maths and Programming" which seems to cover similar material, although not as much. http://homepages.cwi.nl/~jve/HR/ http:
by glutamate 12y ago
See also "The Haskell Road to Logic, Maths and Programming" which seems to cover similar material, although not as much.
http://homepages.cwi.nl/~jve/HR/ http://homepages.cwi.nl/~jve/HR/
I am still waiting for someone to do this for applied maths.
- irickt 12y agoAvailable here: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.137.9312&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.137...