ParentFull threadcurryhowardiso·Will this be fixed when a "canonical" docker container comes out for it? Or perhaps two containers - 1 for dev & dev dependencies and 1 for "prod"?View on HN