Index - R
| Range | |
| 1 (Type/Class) | Cornelis.Types.Agda |
| 2 (Data Constructor) | Cornelis.Types.Agda |
| Range' | Cornelis.Types.Agda |
| readSplitLocation | Cornelis.Types |
| recordUpdate | Cornelis.Diff |
| refine | Plugin |
| RegularCase | Cornelis.Types |
| Remove | |
| 1 (Type/Class) | Cornelis.Types.Agda |
| 2 (Data Constructor) | Cornelis.Types.Agda |
| renderWithHlGroups | Cornelis.Pretty |
| Replace | |
| 1 (Type/Class) | Cornelis.Diff |
| 2 (Data Constructor) | Cornelis.Diff |
| replace | Cornelis.Subscripts |
| replaceInterval | Cornelis.Vim |
| replaceQuestion | Cornelis.Goals |
| reportError | Cornelis.Vim |
| reportExceptions | Cornelis.Debug |
| reportInfo | Cornelis.Vim |
| resetDiff | Cornelis.Diff |
| respond | Lib |
| respondToHelperFunction | Lib |
| Response | Cornelis.Types |
| Rewrite | Cornelis.Types.Agda |
| rewriteModeCompletion | Plugin |
| runInteraction | Plugin |
| runIOTCM | Cornelis.Agda |
| RunningInfo | Cornelis.Types |