1
Come leggere questa "prova" di GHC Core?
Ho scritto questo piccolo pezzo di Haskell per capire come GHC dimostra che per i numeri naturali, puoi solo dimezzare quelli pari: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family Flip (x :: …