Index - F
| FApp | Naturals |
| fastInterpretEval | Telomare.RunTime |
| FDefer | Naturals |
| FEnv | Naturals |
| FGate | Naturals |
| FillFunction | Telomare.Possible |
| fillFunction | Telomare.Possible |
| findChurchSize | Telomare.Eval |
| findInts | Telomare.Resolver |
| findPatternVars | Telomare.Resolver |
| findStrings | Telomare.Resolver |
| FirstArg | Telomare |
| FirstArgA | Telomare |
| fitPatternVarsToCasedUPT | Telomare.Resolver |
| FLeft | Naturals |
| FNum | Naturals |
| forget | Telomare |
| forgetAnnotationFragExprUR | Telomare |
| FourthArg | Telomare |
| FourthArgA | Telomare |
| FPair | Naturals |
| FragExpr | Telomare |
| FragExprF | Telomare |
| FragExprUR | |
| 1 (Type/Class) | Telomare |
| 2 (Data Constructor) | Telomare |
| FragExprUR' | |
| 1 (Type/Class) | Telomare.Resolver |
| 2 (Data Constructor) | Telomare.Resolver |
| FragExprURSA | Telomare |
| FragExprURSansAnnotation | Telomare |
| FragIndex | |
| 1 (Type/Class) | Telomare |
| 2 (Data Constructor) | Telomare |
| fragmapToTelomare | Telomare |
| fragmentExpr | Naturals |
| FragState | Naturals |
| fragsToNExpr | Naturals |
| fragToNExpr | Naturals |
| FRight | Naturals |
| fromFrag | Naturals |
| fromFullEnv | Telomare.Eval |
| fromTelomare | Telomare |
| FSetEnv | Naturals |
| FToNum | Naturals |
| FTrace | Naturals |
| fullEval | Telomare.RunTime |
| fullyResolve | Telomare.TypeChecker |
| FunctionIndex | |
| 1 (Type/Class) | Telomare.Possible |
| 2 (Data Constructor) | Telomare.Possible |
| funWrap | Telomare.Eval |
| FZero | Naturals |