Temporary trick to enforce encoding in presence of algebraic types, even if they are not polymorphic
Attach a file by drag & drop or click to upload
MARCHE Claude authored