Citation.cff

[anuyts]

This repository needs a citation.cff file so people can easily cite it in papers.

See also this stackexchange answer.

Here's a handy generator: https://citation-file-format.github.io/cff-initializer-javascript/#/.

The standard and cubical libraries have examples:

• https://github.com/agda/agda-stdlib/blob/master/CITATION.cff
• https://github.com/agda/cubical/blob/master/CITATION.cff

[Lawrence Chonavel]

Done in PR #6444