Skip to content

Instantly share code, notes, and snippets.

View stormwatch's full-sized avatar

Ezequiel Birman stormwatch

View GitHub Profile
@efcasado
efcasado / eqc.md
Last active January 16, 2025 16:22
A gentle introduction to (Erlang) QuickCheck

Erlang QuickCheck

What is QuickCheck?

QuickCheck is a language for stating properties of programs.

?FORALL(X, nat(), X*X >= 0)