DragonLi / bibdris

BibTeX database management in Idris

20

DragonLi/bibdris Watchers

James Cloos
jhcloos
DragonLi

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.