GitHub repository: unalos/idris-mongo
Primary language: Idris
Created: 2018-12-18T22:46:11Z
Description: Idris bindings to the C mongodb connector