sgf-dma

Lysxia / Countdown.hs

Last active January 24, 2022 17:09

Type-level programming https://mail.haskell.org/pipermail/haskell-cafe/2022-January/135029.html

	{-# LANGUAGE TypeFamilies, DataKinds, ConstraintKinds, UndecidableInstances, TypeApplications, ScopedTypeVariables #-}

	module Countdown where

	import Data.Proxy
	import GHC.TypeNats
	import Data.Kind
	import qualified Fcf as F

	data C2 :: Nat -> F.Exp Constraint