GitHub repository: mattpolzin/pg-idris
Primary language: Idris
Created: 2020-10-05T04:10:53Z
Description: Beginnings of a Postgres client for Idris 2