Research project: Program synthesis using updated interface, template and types.
Why do you think that https://github.com/webyrd/mediKanren 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/webyrd/mediKanren is a good alternative to Shin-Barliman