This repository contains the slides and notebooks used in the talk:
To type or not to type, a matter of logic
This talk was part of the conference Codemotion Madrid, Autumn edition.
You can find the video of talk here.
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
