search

agda / cubical

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

#1015: CITATION.cff #1049

Closed felixwellen closed 11 months ago

felixwellen commented 11 months ago

Add a CITATION.cff and update instructions for RELEASE

felixwellen commented 11 months ago

This one is only bureaucratic and the essential change was decided in #1015, so I'll just merge once CI is happy.