adambaker/property-testing
code for a loop school video
A property-based testing library for clearly specifying code invariants and behaviour.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
code for a loop school video
types are theorems, programs are proofs
A slight tweak of Tomorrow-Night from https://github.com/chriskempson/vim-tomorrow-theme
One-line Haskell Vim install