mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-21 23:37:23 +03:00
8 lines
72 B
Plaintext
8 lines
72 B
Plaintext
use Universal ==
|
|
|
|
r11 : Nat
|
|
r11 = case 1 of
|
|
1 | 2 == 3 -> 4
|
|
_ -> 5
|
|
|