bibdris. BibTeX database management in Idris

github.com/ziman/bibdris
by @ziman

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.