BibTeX database manager
$ bibdris db.bib -l
$ bibdris db.bib -a urlOptions:
-l: List all items in the database.-a url: Add the PDF at the URL (TBD).
$ idris -o bibdris --package lightyear Main.idr- lightyear parsing combinators
BibTeX database management in Idris
BibTeX database manager
$ bibdris db.bib -l
$ bibdris db.bib -a urlOptions:
-l: List all items in the database.-a url: Add the PDF at the URL (TBD).$ idris -o bibdris --package lightyear Main.idrBibTeX database management in Idris