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