Skip to content

Instantly share code, notes, and snippets.

View efcasado's full-sized avatar

Enrique Fernández efcasado

51 followers · 117 following
View GitHub Profile
@efcasado
efcasado / eqc.md
Last active December 16, 2023 00:07
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)