add dhall type union operator

This commit is contained in:
Charlotte 🦝 Delenk 2022-09-03 11:00:16 +01:00
parent a6225052cd
commit dc039ba25f
Signed by: darkkirb
GPG key ID: AB2BD8DAF2E37122

View file

@ -8091,6 +8091,7 @@
<Multi_key> <U2225> <dead_stroke> <dead_stroke> : "∦" <Multi_key> <U2225> <dead_stroke> <dead_stroke> : "∦"
<Multi_key> <U2225> <U0338> : "∦" <Multi_key> <U2225> <U0338> : "∦"
<Multi_key> <U2227> <asciitilde> : "⍲" <Multi_key> <U2227> <asciitilde> : "⍲"
<Multi_key> <U2227> <U2227> : "⩓"
<Multi_key> <U2227> <U2228> : "⋄" <Multi_key> <U2227> <U2228> : "⋄"
<Multi_key> <U2227> <U2395> : "⍓" <Multi_key> <U2227> <U2395> : "⍓"
<Multi_key> <U2228> <asciitilde> : "⍱" <Multi_key> <U2228> <asciitilde> : "⍱"