https://github.com/brandonwillard/mk-rewrite-completion

Research into rewrite-rule completion in miniKanren
https://github.com/brandonwillard/mk-rewrite-completion

Last synced: 26 days ago
JSON representation

Research into rewrite-rule completion in miniKanren

• Host: GitHub
• URL: https://github.com/brandonwillard/mk-rewrite-completion
• Owner: brandonwillard
• Created: 2019-03-29T19:35:24.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-05-07T18:35:58.000Z (over 5 years ago)
• Last Synced: 2024-06-11T22:58:00.815Z (5 months ago)
• Language: TeX
• Size: 67.4 KB
• Stars: 7
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Introduction

This project contains source for reports and code researching the use of term rewriting algorithms and considerations (e.g. Knuth-Bendix) in [miniKanren](http://minikanren.org/).

# Development

The reports in this project are [literate programming documents](https://www.jstatsoft.org/article/view/v046i03) in [`org-mode`](https://orgmode.org/) format (i.e. `.org` files).  The `org-mode` files are exported and/or tangled to LaTeX, Markdown, source language files (e.g. Scheme, Python, etc.) by the =Makefile= in `src/org`.  Likewise, the relevant Emacs dependencies can be installed by the `Makefile` (or `Cask` directly).

Code embedded in the `org-mode` files can also be executed or run interactively within `org-mode` by way of [`org-babel`](https://orgmode.org/worg/org-contrib/babel/).  (Some setup may be required.)

Exported results are created in their respective project directories (e.g. LaTeX in `src/tex`, Scheme code in `src/scm`, etc.)  The [GitHub releases page](https://github.com/brandonwillard/mk-rewrite-completion/releases) for this project hosts fully compiled results (e.g. generated figures, datasets, PDFs, and binaries).

## Racket Dependencies

This project depends on `miniKanren`, which can be installed for [Racket](https://www.racket-lang.org/) with the following:

```

$ raco pkg install minikanren

```