Index - W
| WhyInScope | Cornelis.Types |
| whyInScope | Plugin |
| Window | Cornelis.Types |
| windowsForBuffer | Cornelis.Utils |
| withAgda | Cornelis.Agda |
| withBufferStuff | Cornelis.Utils |
| withComputeMode | Plugin |
| withCurrentBuffer | Cornelis.Agda |
| WithForce | Cornelis.Types.Agda |
| withGoalAtCursor | Cornelis.Goals |
| withGoalContentsOrPrompt | Cornelis.Goals |
| withLocalEnv | Cornelis.Utils |
| withNormalizationMode | Plugin |
| WithoutForce | Cornelis.Types.Agda |