search

agda / cubical

An experimental library for Cubical Agda
https://agda.github.io/cubical/Cubical.README.html
Other
447 stars 136 forks source link

Citation.cff #1015

Closed anuyts closed 1 year ago

anuyts commented 1 year ago

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

See also this stackexchange answer.

anuyts commented 1 year ago

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

felixwellen commented 1 year ago

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 commented 1 year ago

Following the stdlib is fine with me :+1:

mortberg commented 1 year ago

Me too!