https://github.com/ziman/bibdris
BibTeX database management in Idris
https://github.com/ziman/bibdris
Last synced: 5 months ago
JSON representation
BibTeX database management in Idris
- Host: GitHub
- URL: https://github.com/ziman/bibdris
- Owner: ziman
- Created: 2013-10-17T23:16:13.000Z (over 12 years ago)
- Default Branch: master
- Last Pushed: 2014-05-13T12:25:17.000Z (about 12 years ago)
- Last Synced: 2025-02-01T08:15:20.709Z (over 1 year ago)
- Language: Idris
- Size: 248 KB
- Stars: 18
- Watchers: 2
- Forks: 2
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Bibdris
BibTeX database manager
NOTE: The version in the `string` branch is more efficient because
it uses the `String` type. However, we want to push `Data.Text` so
we use it here although it is not very efficient yet.
## Usage
```bash
$ 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.
## Build
```bash
$ idris -o bibdris -p lightyear -p text -p lightyear_text Main.idr
```
### Dependencies
* [lightyear](https://github.com/ziman/lightyear) parsing combinators
* [text](https://github.com/ziman/text) + `lightyear_text`