CODEWITHSUNDEEP
agdaagda-mode
Werner Germán Busch
Werner Germán Busch

Reputation: 381

Agda: Getting question mark symbols after compiling file

I installed Agda and Im using VSC to load files, but I have an error when I try to load a saved file. The file open and displays correctly, but when I load it seems that some unicode characters conver to "?". Before loading file:

enter image description here

After loading file:

enter image description here

Upvotes: 1

Views: 91

Answers (0)

Related Questions