Giters

galtys / idris2-pq

PostgreSQL Bindings for Idris2

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

idris2-pq

PostgreSQL Bindings for Idris2

About

PostgreSQL Bindings for Idris2

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Idris 97.6%Language:Makefile 1.3%Language:Nix 1.1%