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 |