Retourner au contenu associé (journal : [Letlang] Et si on rédigeait la spec ?)
Posté par Nicolas Boulay (site web personnel) le 15 mai 2022 à 15:12. En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 3.
J'ai tenté de faire un logiciel de schema yaml "par l'exemple." (Coherentyaml)
Si a est une feuille, "a & b" est vrai si les 2 sont de même type. "Non a" veut dire "Non(a&b)", ce qui est sans doute l'origine de mon soucis.
Si a==b, cela devrait toujours etre vrai : // ((A -> B) & ~B) -> ~A Avec // (a -> b) = (~a or b)
"La première sécurité est la liberté"
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: théorie des ensembles pas naives
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 3.
J'ai tenté de faire un logiciel de schema yaml "par l'exemple." (Coherentyaml)
Si a est une feuille, "a & b" est vrai si les 2 sont de même type. "Non a" veut dire "Non(a&b)", ce qui est sans doute l'origine de mon soucis.
Si a==b, cela devrait toujours etre vrai :
// ((A -> B) & ~B) -> ~A
Avec // (a -> b) = (~a or b)
"La première sécurité est la liberté"