- check pattern well-formedness in Pattern - add arguments to exceptions in Ty and Term
Attach a file by drag & drop or click to upload
Andrei Paskevich authored