Unit | Cornelis.Offsets |
Unknown | Cornelis.Types |
UnknownDisplayInfo | Cornelis.Types |
unparse | Cornelis.Subscripts |
unparseWith | Cornelis.Subscripts |
unvimify | Cornelis.Vim |
updateLineIntervals | Cornelis.Highlighting |
UseForce | Cornelis.Types.Agda |
UseShowInstance | Cornelis.Types.Agda |