Show HN: type-kanren – type-level microKanren in TypeScript

(github.com)

5 points | by eduhenke 15 hours ago ago