{-# LANGUAGE DataKinds #-}
module CHAD.Example.Types where

import CHAD.AST
import CHAD.Data


type R = TScal TF64
type I64 = TScal TI64
type TVec = TArr (S Z)
type TMat = TArr (S (S Z))