Perhaps I should revive my or-patterns proposal now. The main problem (IIRC) was
that I had to give a rather large subset of Haskell (that includes pattern
matching) typing rules to show typing rules of or-patterns. Now that that part
is done perhaps I can find the time for the rest.
Ben Gamari <[hidden email]>, 25 Tem 2019 Per, 02:32 tarihinde şunu yazdı: