mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 02:25:39 +03:00
12 lines
183 B
Markdown
12 lines
183 B
Markdown
|
|
```unison
|
|
structural type One a = One a
|
|
unique type Woot a b c = Woot a b c
|
|
unique type Z = Z
|
|
|
|
snoc k aN = match k with
|
|
One a0 -> Woot (One a0) (One aN) 99
|
|
|
|
> snoc (One 1) 2
|
|
```
|