State monad with funext#1

Open

pedagand wants to merge 5 commits intoCoqHott:masterfrom

pedagand:master

Commits on Feb 16, 2021

Stack infra for reproducibility
Pierre-Évariste Dagand
committed
Avoid clash with stdlib on product
Pierre-Évariste Dagand
committed
Resurrect concatId
Pierre-Évariste Dagand
committed
State monad
Pierre-Évariste Dagand
committed
Document use
Pierre-Évariste Dagand
committed