Skip to content


Folders and files

Last commit message
Last commit date

Latest commit



10 Commits

Repository files navigation


The microkanren package is a dependency-free Elm implementation of the eponymous relational programming language μKanren, as described by Hemann and Friedmann in µKanren: A Minimal Functional Core for Relational Programming.

This module only provides a barebone typed foundation upon which it is possible to build larger languages in the miniKanren family, and lacks much of the convenience user-facing libraries rightfully require.