corrected argument order, but still big problems proving stuff, because of lazy type function evaluation. (Prim #3 ord) was accepted. Now trying my luck with Tractable
corrected argument order, but still big problems proving stuff, because of lazy type function evaluation. (Prim #3 ord) was accepted. Now trying my luck with Tractable
ggreif/al4nin,ggreif/al4nin