Skip to content
GitLab

Remove TypedFlatCurry format

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

Edited by Finn Teegen