Bibliography

[EgbertRijke]

Since we're into creating databases now, I thought it could be nice if we have a database for our references too, so that we can make references using macros, e.g., {{#cite "Voevodsky2010"}}, which will then display in a uniform manner.

[fredrik-bakke]

This would be super nice!