Contents of prolog2curry-1.2.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
docker/
- Dockerfile
- 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/
    
    Read.curry
    
    ToCurry.curry