Research project: Program synthesis using updated interface, template and types.
Why do you think that https://github.com/jasonhemann/microKanren is a good alternative to Shin-Barliman
Research project: Program synthesis using updated interface, template and types.
Why do you think that https://github.com/jasonhemann/microKanren is a good alternative to Shin-Barliman