I opened github today and noticed this PR:
But there was nothing on it talking about why this happened. I remember talking to gb and reading some discussions before where it was discussed that the tilde backend was put on pause because negate was busy with work and wasn’t good enough yet. But this PR seems to just outright remove the backend? Does this mean that this plan has been canceled? If so is there any plans of using some other compiler backend?
(looking at the Cuik repo, it has been fairly quiet as well with only some maintenance going on here and there)