Skip to content
GitLab

Do not use the index specification file in the Makefile

Merged Jan-Hendrik Matthes requested to merge stu113804/currygle:make-index into master

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.

Edited by Jan-Hendrik Matthes