Idris 2 - first public demo

first public demo of Idris 2

the most exciting new feature is the quantitative type theory

the video also nicely demonstrates the type driven style of coding