Search Package Index

1 packages found

 PackageDescriptionBuild 

typed-minikanren

An implementation of miniKanren in typed racket.

This package needs documentation

succeeds3