Cyril Sobierajewicz

@rstacruz Yes I’ve modified [src/script.js](https://github.com/KrashStudio/script.js/blob/06548771296b5ce1526c88b1a10d10a82806857c/src/script.js) :)

Your first solution can be simplified a bit by dropping the JavaScript file and referring to ./dev/tailwind.css directly in the entry: ```diff "index.js": [ - "./dev/tailwind.js", + "./dev/tailwind.css", "./dev/index.js", ],...

I worked on anonymous type instances and deriving clauses attached to data and newtypes declarations this week-end. With deriving via and a newtype with generic instances, this example could be...

I opened https://github.com/purescript/documentation/pull/351 to add placeholders for errors lacking them and updated the list.

Also the following errors aren’t thrown by the compiler anymore: - CannotGetFileInfo - CannotReadFile - CannotWriteFile - MultipleFFIModules

The semiring structure on errors is required to satisfy the annihilation law (`empty rhs = empty`) of Alternative: ```purescript Left zero Left failure = Left (zero * failure) = Left...

> I don't really understand what you're getting at, is it that you think we should consider keeping the Semiring validation because it might be able to support an Alternative...

Doesn’t the distributivity law of MonadPlus implies the distributivity law of Alternative since `ap` and `` have to agree? Perhaps we could drop the distributivity law from Alternative but have...

> I’m not aware of Alt being used for types which aren’t at least also Alternative Did you mean Applicative here? Otherwise there’s an Alt instance for `Either e` but...

> maybe saying that instances should satisfy at least one out of left catch and distributivity isn't such a bad option? Wouldn’t this make reasoning harder? Why not refining the...