I’ve installed Core and Rtop with esy. When I open rtop and try to do open Core; I get:
Error: Unbound module Core
Any idea how to fix that?
I’ve installed Core and Rtop with esy. When I open rtop and try to do open Core; I get:
Error: Unbound module Core
Any idea how to fix that?