Index - R
| Rel | |
| 1 (Data Constructor) | Data.DRS.DataType, Data.DRS |
| 2 (Data Constructor) | Data.FOL.Formula, Data.FOL |
| 3 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| renameVar | Data.DRS.LambdaCalculus, Data.DRS |
| replaceArrows | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| replaceLambdas | Data.DRS.Input.Boxer, Data.DRS.Input, Data.DRS |