Index - M
| main | Lib |
| MakeCase | |
| 1 (Type/Class) | Cornelis.Types |
| 2 (Data Constructor) | Cornelis.Types |
| MakeCaseVariant | Cornelis.Types |
| Message | |
| 1 (Type/Class) | Cornelis.Types |
| 2 (Data Constructor) | Cornelis.Types |
| mkAbsPathRnage | Cornelis.Types.Agda |
| mkReplacement | Cornelis.Subscripts |
| modifyBufferStuff | Cornelis.Utils |