alpha-asp / Alpha

A lazy-grounding Answer-Set Programming system

BSD 2-Clause "Simplified" License

58 stars 10 forks source link

Closed kharus closed 3 years ago

kharus commented 3 years ago

javadoc doesn't like > symbols. One way to solve this is to wrap them @literal

193

lorenzleutgeb commented 3 years ago

IMO it might be even better to use → or a unicode arrow, such as →. But that's just a side note.

kharus commented 3 years ago

Actually Unicode arrow is a good idea as it looks the same in java sources (as oppose to →) and resulting html.