Skip to content
A possibly faster implementation of alphaKanren, based on a special nominal unification algorithm and microKanren
Racket
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.DS_Store
README.md
amk.rkt
test.rkt

README.md

alphaKanren-revisited

A possibly faster implementation of alphaKanren, based on a special nominal unification algorithm and microKanren

TODOs:

  • occurs check before extending the substitution
  • reifier for the alpha-eq constraints
You can’t perform that action at this time.