bamapro-2019-ss issueshttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/issues2019-09-03T14:13:43Zhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/issues/38Types for lets2019-09-03T14:13:43ZBennet Bleßmannstu201758@mail.uni-kiel.deTypes for letsSome Let bindings may be without Type information,
the goal of this issue is to extract them from type inference and re-add them to let expressionsSome Let bindings may be without Type information,
the goal of this issue is to extract them from type inference and re-add them to let expressionsComplete Translation