From b63ac226cc2ea843f08f7c72b18d22602462c624 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 7 Sep 2019 01:50:37 -0400 Subject: Modified compiler's machinery to use the new abstractions for descriptors and signatures. --- documentation/research/paradigm/logic_programming.md | 1 + 1 file changed, 1 insertion(+) (limited to 'documentation/research/paradigm/logic_programming.md') diff --git a/documentation/research/paradigm/logic_programming.md b/documentation/research/paradigm/logic_programming.md index 6e1c604cf..25c059ca9 100644 --- a/documentation/research/paradigm/logic_programming.md +++ b/documentation/research/paradigm/logic_programming.md @@ -29,6 +29,7 @@ # Language +1. [Curry: A Truly Integrated Functional Logic Language](https://www-ps.informatik.uni-kiel.de/currywiki/) 1. https://flix.github.io/ 1. http://logtalk.org/ 1. https://github.com/fnogatz/CHR.js -- cgit v1.2.3