RSSAmplifier

Blog

Nicolas Rinaudo's blog

All of my articles

nrinaudo.github.io ↗RSS feed ↗10 posts

Latest posts

Direct-style property based testing: Controlling the size of inputs

The right(?) way to work with capabilities

Direct-style property based testing: Reporting errors

Direct-style property based testing: Tests as assertions

Direct-style property based testing: Properties and tests

Direct-style property based testing: Random generators

Direct-style property based testing: Introduction

Programming as Theory Building

Controlling program flow with capabilities

Effects as Capabilities