1
इस जीएचसी कोर "सबूत" को कैसे पढ़ें?
मैंने Haskell के इस छोटे से हिस्से को यह पता लगाने के लिए लिखा कि GHC यह कैसे साबित करता है कि प्राकृतिक संख्या के लिए, आप केवल यहां तक कि आधा कर सकते हैं: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | …