Testing basado en propiedades

Repositorio de acompañamiento para mi charla sobre testing basado en propiedades. Contiene dos módulos:

Módulo con las slides, escritas en markdown, con código Scala ejecutado usando mdoc, y presentado usando reveal
Módulo con el código para live coding y potencialmente para los ejemplos utilizados en las slides

Compilar slides

Descargar sbt
Ejecutar sbt mdoc
Servir el contenido del directorio modules/talk/target/mdoc, en concreto el fichero index.html
- Habitualmente utilizo livereload