spockz / lhs2texhl

http://alessandrovermeulen.me/lhs2texhl
MIT License
4 stars 2 forks source link

Apply text transformation on keywords #5

Closed spockz closed 13 years ago

spockz commented 13 years ago

Provide a way to transform keywords with additional `markup'.

  1. Additional underscores at the beginning and end of identifiers would be trimmed. Working around the problem of using the same word twice. Unfortunately this means changing your code manually.
  2. If there is text after the final underscore this text should be displayed in subscript.
  3. Make these transformations optional.