Contents of prolog2curry-1.3.0

LICENSE
README.md
package.json
benchmarks/
- ICLP2022/
  - Makefile
  - README.txt
  - ackermann.pl
  - rev.pl
  - takint.pl
  - takpeano.pl
- LOPSTR2024/
  - Ackermann.curry
  - Makefile
  - Numleaves.curry
  - Permsort.curry
  - README.txt
  - Rev.curry
  - Signat.curry
  - Tak.curry
  - Thirdof.curry
  - ackermann.pl
  - numleaves.pl
  - permsort.pl
  - rev.pl
  - signat.pl
  - tak.pl
  - thirdof.pl
- TPLP2026/
  - Ackermann.curry
  - Ackermann.pl
  - ExprSyntax.curry
  - ExprSyntax.pl
  - Makefile
  - Numleaves.curry
  - Numleaves.pl
  - Pali.curry
  - Pali.pl
  - Permsort.curry
  - Permsort.pl
  - Primes.curry
  - Primes.pl
  - Queens.curry
  - Queens.pl
  - Quicksort.curry
  - Quicksort.pl
  - README.txt
  - Rev.curry
  - Rev.pl
  - Sendmore.curry
  - Sendmore.pl
  - Signat.curry
  - Signat.pl
  - Sublist.curry
  - Sublist.pl
  - Takint.curry
  - Takint.pl
  - Takpeano.curry
  - Takpeano.pl
  - Takpeano_strict.curry
  - Thirdof.curry
  - Thirdof.pl
  - Zebra.curry
  - Zebra.pl
docker/
- Dockerfile
- Overview.md
- README.md
- pl2curry-failsensitive.sh
- rev.pl
- tak.pl
examples/
- ackermann.pl
- add_mult.pl
- append.pl
- bindings.pl
- bintree.pl
- colormap.pl
- demand.pl
- fac.pl
- family.pl
- last.pl
- length.pl
- peano.pl
- permsort.pl
- rev.pl
- tak.pl
- takpeano.pl
scripts/
- pl2curry-failsensitive.sh
src/
- Main.curry
- Language/
  - Prolog/
    
    ToCurry.curry