Add unification of other types (map, tuples, etc) - Githubissues

metdinov / ex_logic

Logic programming based on miniKanren.

0 stars 0 forks source link

Add unification of other types (map, tuples, etc) #1

Closed metdinov closed 3 years ago

metdinov commented 3 years ago

This could probably be done through protocols, as in core.logic