Type synonyms should not be resolved
Currently (some) type signatures with type synonyms are very hard to read. So it would be better if we not resolve type synonyms. The output (.cdoc
files) of CurryDoc has to be modified to make this possible.
Currently (some) type signatures with type synonyms are very hard to read. So it would be better if we not resolve type synonyms. The output (.cdoc
files) of CurryDoc has to be modified to make this possible.