Using dependent types to write proofs in Haskell

General Developer Forum In The News
, , ,
1

Using dependent types to write proofs in Haskell | Ascetic Slug.
We all know that we can use Haskell to write functional programs that compute stuff. But can we also use Haskell to write mathematical proofs? Yes!

Read in full here:

This thread was posted by one of our members via one of our news source trackers.

2

Corresponding tweet for this thread:

Share link for this tweet.