uKanren.NET
uKanren.NET copied to clipboard
naasking
A native implementation of the MicroKanren DSL for .NET
Results
2
uKanren.NET issues
Sort by
recently updated
recently updated
newest added
The current implementation is inherently limited to a small subset of C# terms, I use dynamic type tests to support IEnumerable-castable types, and I can't support any more complicated composite...
It seems more further effort needs to add, such as Reification support.
