{"library":"idris2","install":[{"cmd":"brew install idris2","imports":[]}]}