Skip to content

Relational interpreter for miniKanren, in miniKanren.

License

Notifications You must be signed in to change notification settings

iambrj/metaKanren

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

metaKanren

Relational interpreter for a relational language!

Code repository for the paper metaKanren : Towards A Metacircular Relational Interpreter, Bharathi Ramana Joshi and William E. Byrd.

Preprint.

Files

  • shallow.rkt: shallow embedding used in Section 1.1
  • shallow-examples.rkt: examples in shallow embedding used to motivate deep embedding
  • paper-examples.rkt: metaKanren examples used in the paper (discussed in Section 3)
  • metaKanren.rkt: relational interpreter for metaKanren (discussed in Section 4)

About

Relational interpreter for miniKanren, in miniKanren.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages