Index - G
| getAgda | Cornelis.Agda |
| getBufferInterval | Cornelis.Vim |
| getBufferLine | Cornelis.Vim |
| getConfig | Cornelis.Config |
| getDefinitionSites | Plugin |
| getExtmarkIntervalById | Cornelis.Vim |
| getExtmarks | Cornelis.Highlighting |
| getGoalAtCursor | Cornelis.Goals |
| getGoalAtPos | Cornelis.Goals |
| getGoalContents | Cornelis.Goals |
| getGoalContentsMaybe | Cornelis.Goals |
| getIndent | Cornelis.Vim |
| getInteractionPoint | Lib |
| getIpInterval | Cornelis.Goals |
| getLambdaClause | Cornelis.Vim |
| getLineIntervals | Cornelis.Highlighting |
| getMessage | Cornelis.Types |
| getpos | Cornelis.Vim |
| getSurroundingMotion | Cornelis.Vim |
| getVar | Cornelis.Config |
| getVarWithAlternatives | Cornelis.Config |
| getWindowCursor | Cornelis.Vim |
| give | Plugin |
| GiveAction | Cornelis.Types |
| gi_ip | Cornelis.Types |
| gi_type | Cornelis.Types |
| GoalInfo | |
| 1 (Type/Class) | Cornelis.Types |
| 2 (Data Constructor) | Cornelis.Types |
| GoalSpecific | Cornelis.Types |
| goalWindow | Plugin |
| gotoDefinition | Plugin |
| groupScopeSet | Cornelis.Pretty |