[ANN] Anders Modal Homotopy Type System 5.1.0

Ok sir, I will consider providing description in the upcoming release 5.5.0.
Could you please also leave message for Menhir, it also lack description and we need proper visibility for LR(1) parses in OCaml community.

This announce also lack information on sources.

By saying we, what do you even mean here? Who gave you that authority?
As a new user when I can find policy on publishing and properly announcing new packages?
I read all information and made all comparisons but I hit Menhir Obstacle.

OCaml lacks proper description too. Btw. How are you sleeping with that?