VojtechStepVojtechStep@mathstodon.xyz
Sep 7, 2026, 1:45 PMI discovered you can overload predicates based on their inputs' types in elpi, it's so over for you
I discovered you can overload predicates based on their inputs' types in elpi, it's so over for you