métier
Programmeurs informatiques
description
Idiomatic patterns for writing code with formality-core (a-mir-formality). Covers generated constructors, Upcast/UpcastFrom coercions, judgment_fn! macro patterns,
Langue du texte source : anglais
mis à jour