| 00:53 | <DerekNonGeneric> | what a weird snippet! |
| 00:53 | <DerekNonGeneric> | is that ecmarkdown? |
| 00:54 | <bakkot> | it's HTML |
| 00:54 | <DerekNonGeneric> | hmm, i know Markdown accepts html |
| 00:55 | <DerekNonGeneric> | so, ecmarkdown must be a custom markdown format |
| 00:55 | <DerekNonGeneric> | i have never used it |
| 00:56 | <bakkot> | ecmarkdown is used by ecmarkup in the process of rendering the specification to HTML |
| 00:56 | <DerekNonGeneric> | i figured |
| 00:58 | <DerekNonGeneric> | is it based on markdown? Going to have to read up on this |
| 00:58 | <bakkot> | vaguely, yes |