src/CHAD/Example/Types.hs


1
2
3
4
5
6
7
8
9
10
11

{-# 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))