Meet Idris, a language that will change the way you think about programming Posted 01 Jan 2015 Most programming languages barely differ from each other apart from superficial syntax differences, but not Idris. Idris, having a type system supporting dependent types and other innovative ideas, opens up a host of possibilities few other language provides. When we want to ensure that a piece of code w