GitHub repository: namin/staged-miniKanren
Primary language: Racket
Created: 2017-11-05T19:59:39Z
Description: multi-stage relational programming for staged relational interpreters: running with holes, faster