Introduction

Exploring the decision to integrate property-based testing into the Aiken programming language for smart contracts, highlighting influences from functional programming and the importance of testing utilities in the financial smart contract domain.

Transcript

Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!

Get the app