formal-verification पर टैग किए गए जवाब

1
इस जीएचसी कोर "सबूत" को कैसे पढ़ें?
मैंने Haskell के इस छोटे से हिस्से को यह पता लगाने के लिए लिखा कि GHC यह कैसे साबित करता है कि प्राकृतिक संख्या के लिए, आप केवल यहां तक ​​कि आधा कर सकते हैं: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.