Запитання з тегом «haskell-platform»

1
Як прочитати цей «доказ» Ядра GHC?
Я написав цей невеликий фрагмент Haskell, щоб зрозуміти, як GHC доводить, що для натуральних чисел можна парні парні лише вдвічі: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family Flip (x :: Parity) :: …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.