Changes

Let's talk types is an introductory talk to programming langages that use static analysis based on types to help the developper write correct code. The talk is presented by [[User:Zephyz]], and will focus on simple unique concepts, demos and questions/answers.