another_user

awesome!

(and sounds totally intuitive and obvious, not like a trick, but like a proper methodology, proper approach, never had this feeling of before)

thank you for info! will try to dig in

Thanks, looks nice and pretty straightforward, will try it out

I'd really appreciate further comments on what to do with type errors for prolog/minikanren-like tools as typecheckers

Are there any fundraising efforts on recoltes et semalles?