Refined Types in Practice This repository contains the slides and accompanying code + tests for a talk I gave at Scalax 2017 Slides available at: https://kwark.github.io/refined-in-practice Presentation was made with: remark tut