BibTeX database management in Idris