Add idris code and slides