Contents of prolog2curry-1.0.0

LICENSE
README.md
package.json
benchmarks/
- Makefile
- ackermann.pl
- rev.pl
- takint.pl
- takpeano.pl
examples/
- ackermann.pl
- add_mult.pl
- append.pl
- bindings.pl
- colormap.pl
- demand.pl
- fac.pl
- family.pl
- last.pl
- length.pl
- peano.pl
- permsort.pl
- rev.pl
- tak.pl
- takpeano.pl
src/
- Main.curry
- Language/
  - Prolog/
    
    Read.curry
    
    ToCurry.curry