GitHub repository: 4ever2/coq-elm-extraction
Description: Coq plugin for extracting Elm code