Working through the book "Handbook of Practical Logic and Automated Reasoning" by John Harrison (https://books.google.pt/books/about/?id=lYSYLPWJQKMC)
andrepd/haskell-logic
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Working through the book "Handbook of Practical Logic and Automated Reasoning" by John Harrison (https://books.google.pt/books/about/?id=lYSYLPWJQKMC)