Haskell Weekly

Issue 150

Welcome to another issue of Haskell Weekly! Haskell is a safe, purely functional programming language with a fast, concurrent runtime. This is a weekly summary of what’s going on in its community.

Featured

Jobs

In brief

Package of the week

This week’s package of the week is SBV (SMT Based Verification), a library that allows you to express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.

Call for participation

Events

North America

Europe

Oceania

Asia