3 ms·

This sounds a lot lke like minikanren (https://github.com/webyrd/Barliman https://github.com/webyrd/Barliman) where you give test cases and Idris2 (https://gith

by nyberg 5y ago

This sounds a lot lke like minikanren (https://github.com/webyrd/Barliman https://github.com/webyrd/Barliman) where you give test cases and Idris2 (https://github.com/idris-lang/Idris2 https://github.com/idris-lang/Idris2) where you give type constraints as a tool for building programs.