Index - F
| fcat | Render.RichText, Render |
| forallQ | Render.RichText, Render |
| FromAgda | Agda.IR |
| fromAgda | Agda.IR |
| FromAgdaTCM | Agda.IR |
| fromAgdaTCM | Agda.IR |
| fromDisplayInfo | Agda.Convert |
| fromHighlightingInfo | |
| 1 (Function) | Agda.Convert |
| 2 (Function) | Server.Handler |
| FromOffset | |
| 1 (Type/Class) | Agda.Position |
| 2 (Data Constructor) | Agda.Position |
| fromOffset | Agda.Position |
| fromResponse | Agda.Convert |
| fsep | Render.RichText, Render |