blob: f4f576e084e0d4ec8bc568f8f4ae102864c08877 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
(a | b)
a; g
((a | (b; g)) | e)
(((a | b); g) | c)
((a | b) | c); (g | h)
a; (b | (c; (d; (e | (f; g)))))
(a | b); (c | d)
a; ((b | c) | d)
(((a | (b; c)) | d) | e) | pure
((a | b); (c | d)) | e
(a | b) | pure
a | (b; c)
|