https://github.com/jozefg/sml-kanren

Let's make another miniKanren.
https://github.com/jozefg/sml-kanren

Last synced: 3 months ago
JSON representation

Let's make another miniKanren.

• Host: GitHub
• URL: https://github.com/jozefg/sml-kanren
• Owner: jozefg
• License: mit
• Created: 2015-07-15T06:34:02.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2015-07-17T04:15:13.000Z (almost 10 years ago)
• Last Synced: 2025-01-28T16:34:36.432Z (5 months ago)
• Language: Standard ML
• Size: 129 KB
• Stars: 5
• Watchers: 4
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
## sml-kanren

An implementation of miniKanren with `===`, `conj`, `disconj`, and

`fresh`. This is mostly written so I can test out some libraries I've

made for ML.

If you want a sense of how the language is layed out, see

`src/kanren.sig`. If you want an example of how to write some fun

programs, see `demo/` or `src/prelude.fun`.