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 |