Suggestion to Rename `HttpRouter.del` to `HttpRouter.delete`
https://github.com/Effect-TS/effect/blob/main/packages/platform/README.md#basic-routing
TBH I don't like the curve ball of having
I would even go as far as suggest to add
METHOD is an HTTP request method, in lowercase (e.g., get, post, put, del).
TBH I don't like the curve ball of having
HttpRouter.del instead of using the actual HTTP method in lowercase, which would be HttpRouter.deleteI would even go as far as suggest to add
HttpRouter.delete and make HttpRouter.del an alias and eventually deprecate it over few major versions.
