another_user

3 ms·

1. 1.▲
   by another_user 10y ago

   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
2. 2.▲
   by another_user 11y ago

   Thanks, looks nice and pretty straightforward, will try it out
3. 3.▲
   by another_user 11y ago

   I'd really appreciate further comments on what to do with type errors for prolog/minikanren-like tools as typecheckers
4. 4.▲
   by another_user 12y ago

   Are there any fundraising efforts on recoltes et semalles?