bodil / bodil/purescript-kanren

Implementing using Generic

Open
#3 2 comments 0 reactions 0 assignees View on GitHub
Dominant language
PureScript
Stars
17
Forks
0
PR merge metrics
No merged PRs in 30d

Description

The library is currently pretty limited because the data types are limited to LogicValue. What if it were reimplemented to be able to use anything that implements `Generic`?

it seems like this should be possible, and with the generic deriving, it would be easy to use this library for any data type.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.