Dretch/idris-examples

Example code for the Idris presentation at https://docs.google.com/presentation/d/1fM4L1r5OsKd6pqeLy-HMJ2KK8tKGha0BoKFL07y9dns/edit?usp=sharing