Index - I
| IdCnt | Trees.Common |
| idCnt | CodeGen.RiscV.Lib.Monad |
| Identifier | Trees.Common |
| Identifier' | Trees.Common |
| identifierP | Parser.Lexer |
| Immediate | CodeGen.RiscV.Lib.Types |
| immediate | CodeGen.RiscV.Lib |
| ImpossibleBinOpApplication | TypeChecker.HindleyMilner |
| ImpossibleUnOpApplication | TypeChecker.HindleyMilner |
| Infer | TypeChecker.HindleyMilner |
| inferProgram | TypeChecker.TypeChecker |
| Infinite | TypeChecker.HindleyMilner |
| Instruction | |
| 1 (Type/Class) | CodeGen.RiscV.Lib.Types |
| 2 (Data Constructor) | CodeGen.RiscV.Lib.Types |
| InstructionCodeLine | CodeGen.RiscV.Lib.Types |
| intLitP | Parser.Lexer |
| IsRec | Trees.Common |
| ite | CodeGen.RiscV.Lib |