Variable.agda
1module Variable where
2
3open import Data.Integer using (ℤ)
4open import Data.String using (String)
5open import Data.Product using (_×_)
6open import Data.Bool using (Bool)
7open import Data.Nat using (ℕ)
8
9
10Variable : Set
11Variable = ℕ
12
13data Value : Set where
14 string : String → Value
15 int : ℤ → Value
16 bool : Bool → Value
17 double : ℤ → ℤ → Value
18 long : ℤ → Value
19 void : Value