C channable.com Dbcritic: Constructively criticizing your Postgres schema (using Idris) 77 points rkrzr 5 years ago 15 comments