Coq/Agda icons

[Ailrun]

Will it be possible to support logos of https://coq.inria.fr/ and https://agda.readthedocs.io/en/v2.6.1.3/ ?
They are both quite famous proof assistants, so it will be great if the support is possible.

[wyuenho]

There's an agda icon on file-icons, but there's no coq icon, which means it needs to be generated. But it's hard to do due to #248 (comment)

[Ailrun]

Actually coq icon is already in

all-the-icons.el/data/data-fileicons.el

Line 97 in facbde4

( "coq" . "\xe95f" )

so I guess it's only the matter of Agda icon and configuration change.

[wyuenho]

Ah, right, agda is actually missing in this data file. I'm not actually sure this version of the file icons font actually comes with the agda icon, but I think we can change it. If you can make sure the file icon font bundled has that font, please feel free to send over a PR.

[Ailrun]

Unfortunately as far as I can see it does not contain the version...
According to https://github.com/file-icons/icons/blob/master/charmap.md, it looks like both Coq and Agda are in the latest file-icons, so can we use that version?

[wyuenho]

it looks like both Coq and Agda are in the latest file-icons, so can we use that version

We should be able to. Try it out and let me know :)

[jeslie0]

How does one go about referencing the Agda icon? I think it should correspond to "\x1315a", but whenever I view the corresponding icon in emacs, I just see the normal icon for that code, as in the following picture:

Trying "\1315a" also doesn't work for me.