This repository contains examples for the synthesis of set functions for the functional logic programming language Curry as proposed in the paper Synthesizing Set Functions presented at WFLP 2018.
| Folder | Content |
|---|---|
| Simple | Examples for the simple synthesis of set functions |
| Sharing | Examples for the synthesis of set functions with support for call-time choice |
| Nested | Examples for the synthesis of set functions with support for nested set functions |
| NestedSharing | Examples for the synthesis of set functions with support for call-time choice and nested set functions |
Simply clone this repository and load one of the example .curry files into the REPL of the Curry system of your choice, e.g., PAKCS or KiCS2.
To test all examples (in particular, if you modify some code), run the shell script
./testall.sh
if you have the Curry test tool CurryCheck installed (see the PAKCS or KiCS2 manuals how to install CurryCheck).