A general purpose declarative programming language
algorithms languages declarative-language frameworks declarative-programming programming-by-example inductive-program-synthesis domain-specific-languages deductive-inference search-based-synthesis shaughnessy
-
Updated
Aug 11, 2019