sorted by: recent | see : popular

Content Tagged with to.read + haskell

Introduction This is a brief introduction to some small program proofs in Haskell and Isabelle/HOL. The material in this lesson borrow heavily from the Isabelle tutorial [Isabelle<sep/>

"Functional pearls are elegant, instructive examples of functional programming."