Cătălin Hriţcu
with contributions from
Santiago Arranz Olmos, Gilles Barthe, Roberto Blanco, Lionel Blatter, Léon Ducruet, Sebastian Harwig, Yonghyun Kim, Benjamin C. Pierce, and Jérémy Thibault

Version 0.2 (2025-10-31 20:27, Rocq 9.0.0 or later)