How long have you been working on this?

I have been building little prototype languages for years. This iteration which is heavily AI powered is a couple weeks old

	▲	ch4s3 an hour ago \| parent [-]
		Oh cool, it's amazing how quickly you can stand up a language now, I love it. I'd love to exchange ideas, I really like what you're doing. How are you doing resolution of your dependent(refined?) types? I've been using Z3, but you're clearly doing something else here.