add Idris starter pack (!!)