Index - P
| parens | Render.RichText, Render |
| peekSizedChan | Control.Concurrent.SizedChan |
| pHasEta0 | Render.Concrete, Render |
| pRecord | Render.Concrete, Render |
| pRecordDirective | Render.Concrete, Render |
| prefixedThings | Render.Common |
| prettyPositionWithoutFile | Agda.Position |
| prettyResponseContext | Agda.Convert |
| prettyResponseContexts | Agda.Convert |
| prettyTimed | Agda.Convert |
| prettyTypeOfMeta | Agda.Convert |
| provideCommand | Monad |
| punctuate | Render.RichText, Render |
| put | Server.CommandController |