[lnkForumImage]
TotalShareware - Download Free Software

Confronta i prezzi di migliaia di prodotti.
Asp Forum
 Home | Login | Register | Search 


 

Forums >

comp.lang.lisp

mathematical logic in Lisp

Bigos

8/16/2015 7:54:00 AM

At the moment I'm trying to understand chapter 2 of

The Haskell Road to Logic, Math and Programming

Because I do not know Haskell very well I found understanding of some
concepts more difficult than necessary.

I was able to fully grasp Implication, only after writing a Lisp version
of the exercise.

I was wondering if there is similar publicly accessible material for Lisp.