Giters

Oregu / recur

Resursive program syntesis with relational interpreters in miniKanren.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

RECUR

A collection of resursive program syntesizers implemented with relational interpreters in miniKanren.

Experimental.

About

Resursive program syntesis with relational interpreters in miniKanren.

License:MIT License

Languages

Language:Clojure 100.0%