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?
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?