CurryInfo: flatcurry-typed
name: 
|
flatcurry-typed |
|
versions:
|
3.0.0 |