Apologies for the Agda focused question but many Agda devs hangout here and there doesn’t seem to be any movement on this issue in other Agda focused spaces. Many Windows users of Agda via VSCode have issues with certain symbols turning into question marks when type checking a file. Here’s an examp…

Issues with Agda Mode symbols in VSCode

f-a July 16, 2025, 9:59am 2

Have you tried asking on their Zulip?

1 Like