Citation.cff

[anuyts]

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

See also this stackexchange answer.

[anuyts]

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

[felixwellen]

Maybe we can just adapt that one:

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

Opinions please @mortberg @ecavallo @mzeuner @aljungstrom (incomplete list).

[ecavallo]

Following the stdlib is fine with me 👍

[mortberg]

Me too!