21st Century Shall be Typed or not Be

This repository contains support code in Elm, Haskell and Idris for my talk on the relevance of sophisticated type systems with today's domain design and coding challenges.

This talk has been given at Crafting Software Meetup on March 28, 2017.