This site needs no title
  • About
  • Externals
    • Data Structures in Smalltalk
    • Crate libpq-rs
    • Crate igraph-rs

Jason Hemann


The Reasoned Schemer

miniKanren, microKanren and some implementations

 Posted on March 9, 2018  (Last modified on July 10, 2026)  |   7 min  |   1379 words  |   Daniel P. Friedman William E. Byrd Oleg Kiselyov Jason Hemann

[Read More]
Categories: scheme logic programming  Tags: sbral 

Massimo Nocentini  •  © 2026  •  This site needs no title

Hugo v0.164.0 powered  •  Theme Beautiful Hugo adapted from Beautiful Jekyll