-
Notifications
You must be signed in to change notification settings - Fork 23
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
change comment character to - #57
Comments
Hi, I don't know. The Long-term, this might be relevant to #53. |
Hi, A special case like this is always painful and should rather be avoided for peace of mind. But I have my doubt if it works ... If you use outorg to, there would be a problem. Outorg then should read that outshine custom instead of simply assuming "*" for header levels, coding change needed. Cheers |
#7 asks the same basic question, but for Literate Haskell. I'm interested in making changes for compatibility with Lean, where comments are:
What's the best way to make
---
the first header level and----
etc. the next levels after that?The text was updated successfully, but these errors were encountered: