Giters
namin
/
metamk
Meta-Interpreters in miniKanren
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
31
Watchers:
4
Issues:
0
Forks:
4
scheme
minikanren
metaprogramming
meta
logic-programming
reflection
This repository is not active
About
Meta-Interpreters in miniKanren
scheme
minikanren
metaprogramming
meta
logic-programming
reflection
Languages
Language:
Scheme
100.0%