Index - S
| sendCommand | Agda |
| sendResponse | Monad |
| sep | Render.RichText, Render |
| serialize | Agda.Convert |
| ServerM | Monad |
| setCheckpointAndWait | Server.ResponseController |
| setupLanguageContextEnv | Switchboard |
| showIndex | Render.RichText, Render |
| showInfoError | Agda.Convert |
| signalCommandFinish | Monad |
| SizedChan | Control.Concurrent.SizedChan |
| smashTel | Render.Concrete, Render |
| space | Render.RichText, Render |
| start | Agda |
| Switchboard | Switchboard |