FilesExpand file tree

websiteExecutable

/

X-array.u

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

6 lines (4 loc) · 97 Bytes

websiteExecutable

/

X-array.u

Copy path

Top

File metadata and controls

• Code
• Blame

6 lines (4 loc) · 97 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

structural type X = S Text | I Nat

foo : a -> b -> c -> X

foo x y z = X.S ""

[foo +1 1 1.0, 1]