A

attributed-minikanren

Project information

This is a modification for minikanren for scheme by William E. Byrd. The addition is to implement attributed variables and implement some constraints with the help of that system

5 Commits
1 Branch
0 Tags

Created on

February 13, 2016

Loading