Update to the new, unified frontend
Based on !7 (merged).
The new frontend combines curry-base
and curry-frontend
in a single repository.
Based on !7 (merged).
The new frontend combines curry-base
and curry-frontend
in a single repository.