type-level-computation

7Nhiệt

1Trả lời

Loại chứng minh thể hiện của gia đình có thể được chứng minh không?

Đầu tiên, tôi bắt đầu với một số công cụ số tự nhiên cấp điển hình. {-# LANGUAGE KindSignatures #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE TypeFamilies #-} data Nat = Z |