Implementations

microKanren

Paper


Tags: reading   language  

Last modified 15 September 2025