alpha

A formalization of Haskell's standard prelude in Isabelle/HOLCF.

Write a Review

User Reviews

Be the first to post a review of Isabelle/HOLCF Standard Prelude!