Throw error when `{{#bibliography}}` is invoked but the reference list is empty

UniMath / agda-unimath

The agda-unimath library

https://unimath.github.io/agda-unimath/

MIT License

219 stars 70 forks source link

Open fredrik-bakke opened 3 weeks ago

fredrik-bakke commented 3 weeks ago

Fixes #1175.

fredrik-bakke commented 3 weeks ago

Hopefully link-check will throw an error on synthetic-category-theory.synthetic-categories. This PR should wait to be merged until after #1176.

EgbertRijke commented 3 weeks ago

Neat! Feel free to merge this after the other PR is merged

fredrik-bakke commented 3 weeks ago

Something is not right, it's supposed to throw an error but it isn't.