Open mortberg opened 2 years ago
Someone asked how to cite the library on Zulip. How about:
@misc{agdacubical, title = {The agda/cubical library}, author = {{The agda/cubical development team}}, year = {2018--}, url = {https://github.com/agda/cubical/}, }
I've been referring to the library as agda/cubical in order to not mix it up with the Cubical Agda system
Looks good to me
Should we put it in the README?
README
Someone asked how to cite the library on Zulip. How about:
I've been referring to the library as agda/cubical in order to not mix it up with the Cubical Agda system