Packages for Curry

Intermediate
@curry-packages

Packages for Curry to be managed by CPM (the Curry Package Manager)

cpm.curry-lang.org/
0
Apply