src/Example/Types.hs


1
2
3
4
5
6
7
8
9
10
11

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

import AST
import Data


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