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 |