Index - R
| RApp | Raw |
| ratioToDouble | MAlonzo.RTE.Float |
| RBuiltin | Raw |
| RCase | Raw |
| RCon | Raw |
| RConstr | Raw |
| Related | MAlonzo.RTE |
| rem64 | MAlonzo.RTE |
| remInt | MAlonzo.RTE |
| ReportOutput | Certifier |
| RError | Raw |
| RightAssoc | MAlonzo.RTE |
| RLambda | Raw |
| RTApp | Raw |
| RTerm | Raw |
| RTLambda | Raw |
| RTyApp | Raw |
| RTyCon | |
| 1 (Type/Class) | Raw |
| 2 (Data Constructor) | Raw |
| RTyConArray | Raw |
| RTyConAtom | Raw |
| RTyConList | Raw |
| RTyConPair | Raw |
| RTyFun | Raw |
| RTyLambda | Raw |
| RTyMu | Raw |
| RType | Raw |
| RTyPi | Raw |
| RTySOP | Raw |
| RTyVar | Raw |
| runCertifier | Certifier |
| runCertifierMain | MAlonzo.Code.Certifier |
| runTCEKAgda | MAlonzo.Code.Evaluator.Term |
| runTCKAgda | MAlonzo.Code.Evaluator.Term |
| RuntimeError | |
| 1 (Type/Class) | Raw |
| 2 (Data Constructor) | Raw |
| RuntimeTypeError | Raw |
| runTLAgda | MAlonzo.Code.Evaluator.Term |
| runUAgda | MAlonzo.Code.Evaluator.Term |
| runUCountingAgda | MAlonzo.Code.Evaluator.Term |
| RUnWrap | Raw |
| RVar | Raw |
| RWrap | Raw |