5 packages found
Utilities for defining embedded macro expanders
This package needs tags
This package needs license metadata
A fast implementation of miniKanren with disequality and absento.
This package needs documentation
An embedded expander wrapper around faster-minikanren, offering better error messages and some automatic program transformations
This package needs a description