14 lines
141 B
Plaintext
14 lines
141 B
Plaintext
module Test
|
|
|
|
primitive type Word = "u64"
|
|
|
|
/* This is a number! */
|
|
one :: Word
|
|
one = 1
|
|
|
|
id :: a -> a
|
|
id x = x
|
|
|
|
seq :: a -> b -> b
|
|
seq x y = y
|