These are chat archives for evhub/coconut

Mar 2017
Julian Ospald
Mar 18 2017 11:05
hm, maybe I did something wrong
Julian Ospald
Mar 18 2017 12:39
pattern matching still feels a bit clumsy/verbose if you use more than one @addpattern
I feel there could be more sugar
Evan Hubinger
Mar 18 2017 22:33
@hasufell Alright--what sort of syntax would you like to see instead?