Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Dbcritic: Constructively criticizing your Postgres schema (using Idris). Parent comment
(And I see now at the end of the article that they mention this).
If this grows in the future, I'd be curious to see if the team starts to integrate any dependent types.
There are no comments on this comment yet.
(And I see now at the end of the article that they mention this).
If this grows in the future, I'd be curious to see if the team starts to integrate any dependent types.