Index - S
| savingCurrentPosition | Cornelis.Utils |
| savingCurrentWindow | Cornelis.Utils |
| SearchMode | Cornelis.Vim |
| searchpos | Cornelis.Vim |
| section | Cornelis.Pretty |
| sequenceInteractionPoint | Cornelis.Types |
| setHighlight | Cornelis.Highlighting |
| setHighlight' | Cornelis.Highlighting |
| setreg | Cornelis.Vim |
| setWindowCursor | Cornelis.Vim |
| ShowImplicitArgs | Cornelis.Types.Agda |
| showInfoWindow | Cornelis.InfoWin |
| ShowIrrelevantArgs | Cornelis.Types.Agda |
| Simplified | Cornelis.Types.Agda |
| Solution | |
| 1 (Type/Class) | Cornelis.Types |
| 2 (Data Constructor) | Cornelis.Types |
| SolveAll | Cornelis.Types |
| solveOne | Plugin |
| spanInfoHighlights | Cornelis.Pretty |
| spawnAgda | Cornelis.Agda |
| SplitLocation | Cornelis.Types |
| SrcFile | Cornelis.Types.Agda |
| Status | Cornelis.Types |
| status_checked | Cornelis.Types |
| status_showImplicits | Cornelis.Types |
| status_showIrrelevant | Cornelis.Types |
| Subscript | Cornelis.Subscripts |
| subscripts | Cornelis.Subscripts |
| Superscript | Cornelis.Subscripts |
| superscripts | Cornelis.Subscripts |
| s_expression | Cornelis.Types |
| s_ip | Cornelis.Types |