Merge approach for extracting to the Verifier of groups Tammo, Bennet and Kai, Tim
Implement the package graph proposed in 374cdcba
-
Make the elm-compiler-library be buildable to both lib (needed by Team Kai) and exe (needed by Team Tammo) -
Fix dependencies of Kai approach to include elm-data -
Have the Tammo approach use the modified Artifacts
Edited by Bennet Bleßmann