declarative-semantics. miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek.

github.com/webyrd/declarative-semantics
by @webyrd

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.