search

LeventErkok / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
https://github.com/LeventErkok/sbv
Other
239 stars 33 forks source link

Update Newspaper.hs #669

Closed HugoPeters1024 closed 1 year ago

HugoPeters1024 commented 1 year ago

I thank you for your interest but I was hoping to get to a due credit out of it ;)

LeventErkok commented 1 year ago

Sure..

Incidentally, your blog post says:

i. what is d - b - h * d?

which should be:

i. is f == d - b - h * d?