GitHub repository: olovm/cora-eclipse
Primary language: Shell
Created: 2017-01-01T17:53:48Z
Description: Development environment for Cora using Eclipse and Docker