You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Serv should be specializing in API description, server implementation, etc. Many of the things that have been defined for Serv so far are just types/kinds useful for talking about HTTP protocol values, though. These should be split off and have a life of their own!
The text was updated successfully, but these errors were encountered:
Serv should be specializing in API description, server implementation, etc. Many of the things that have been defined for Serv so far are just types/kinds useful for talking about HTTP protocol values, though. These should be split off and have a life of their own!
The text was updated successfully, but these errors were encountered: