cornelis

2.8.0

Neovim support for Agda

Install

brew install cornelis

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	2.8.0	File SHA-256 `ef9be5bb0bae4f7873bc5dd6e20ccec100eb7e60f46df7d62c206774d811c7b8`
Apple Silicon	Tahoe	2.8.0	File SHA-256 `823e1f7d48f7728b1938bfdc6f13d5d019eed5aea1dcaf0ffe76c0bf023b5c1d`
Apple Silicon	Sequoia	2.8.0	File SHA-256 `4c512b4a244010948e8610c46841d572bbbb27c6e9240a1b755a42cabafcfb51`
Apple Silicon	Sonoma	2.8.0	File SHA-256 `c7646126bbcbc556b004d0a9d3ebd6339d6bdb5e2fdd05f290aa60dd24f1193e`
Intel	Sonoma	2.8.0	File SHA-256 `dea66e9e498f4fc6ef595c67b62c522361bccff0e9432e438c021ac4768e39f2`
ARM64	Linux	2.8.0	File SHA-256 `8c6c596bab2944981e4a97e71ea42feedb60fbca35276e20cad140bfc3f6ffcd`
x86_64	Linux	2.8.0	File SHA-256 `9ddb0a476cd96d13c732d6e41464ca3308279ff2918aeb2dc88d2be38135447d`