Skip to content
GitLab
Open
Created by Finn Teegen@fteMaintainer

Remove TypedFlatCurry format

In order to reduce the number of different output formats, we should drop the specialized TypedFlatCurry format.

Edited by Finn Teegen