BibTeX database manager
$ bibdris db.bib -l
$ bibdris db.bib -a url
Options:
-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 manager
$ bibdris db.bib -l
$ bibdris db.bib -a url
Options:
-l
: List all items in the database.-a url
: Add the PDF at the URL (TBD).$ idris -o bibdris --package lightyear Main.idr