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.