{"library":"agda-bin","type":"cli","category":null,"description":"Command-line interface to the Agda dependently typed programming language and proof assistant.","language":"haskell","status":"active","version":"2.6.3","tags":[],"last_verified":null,"install":[{"cmd":"apt install agda-bin","imports":[]}],"homepage":"https://wiki.portal.chalmers.se/agda/","github":null,"docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}