Skip to content

Add fallback for Idris2 to use :type-of for eldoc-lookup #299

Add fallback for Idris2 to use :type-of for eldoc-lookup

Add fallback for Idris2 to use :type-of for eldoc-lookup #299

build (30.2)

succeeded Nov 17, 2025 in 1m 35s