Eitan Chatav

In math we say a function `f` is injective iff for all `x` and `x'` in its domain, if `f(x) = f(x')` then `x = x'`. That is distinct inputs...

That's a great idea! Slack is familiar and comfortable for me.

Oh perfect! When did they add that? I love when GitHub integrates features like that. I switched the CI for Squeal to GitHub Actions too.

> I'm gonna try to find a way to shortcut this through an UnsafeGrouping expression `GroupByClause`s don't have an unsafe escape hatch so you might run into some difficulty. Instead...

> that's a pity because what I'm working on is already complex enough without adding all that ! I'm noticing a theme ;-)

How many schemum objects does your code have? And merry Christmas!

Can you give an example of what you mean by hinder? I guess you're talking about the constraint ```Haskell schemas1 ~ Alter sch (Create tab ('Table (constraints :=> columns)) schema0)...

You can use the DDL type families to be polymorphic in the initial schema. ```Haskell createUser :: Has "public" db schema => Definition db (Alter "public" (Create "user" UserTable schema)...

I think that's less clear. It wouldn't be as obvious `createTable` is a `Definition`. And it's not a very general tool, whereas the DDL type families are very useful and...

If you have a foreign key in your definition then the column(s) it references must be unique and not null. You should specify that your primary key in the other...