I've updated the make
targets for the index creation to not use the index specification file anymore. I've also updated the examples directory with new examples for the base Curry modules.
I've updated the make
targets for the index creation to not use the index specification file anymore. I've also updated the examples directory with new examples for the base Curry modules.