GitHub repository: 4e554c4c/blink-cmp-agda-symbols
Primary language: Lua
Created: 2025-03-05T10:44:38Z
Description: Agda symbols source for the blink.cmp neovim completion engine