On Mon, Oct 12, 2020 at 11:40:53AM +0200, Jérémy Korwin-Zmijowski wrote:

> Today, I published a new chapter about characters :
> https://jeko.frama.io/en/char.html

Hi Jérémy,

I saw it today on Hacker News and took a look. I liked the succinct
style and frequent refactoring. I thought that turning function calls
into hyperlinks referring to official reference documentation could be
beneficial to the reader.

WŻ