Package prolog2curry
  • All Packages
  • Categories
  • Recent Uploads
  • Masala
  • Curry Package Manager
  • Curry Homepage

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

Generated by cpm-manage at May 9 06:45:24 2025