The Haskell Unfolder Episode 42: logic programming with typedKanren

10 views

Well-Typed

3 weeks ago

The Haskell Unfolder Episode 42: logic programming with typedKanren

The Haskell Unfolder Episode 42: logic programming with typedKanren