toy for idris program language