Typicalc issueshttps://git.scc.kit.edu/pse-typinferenz/typicalc/-/issues2023-03-29T11:31:26+02:00https://git.scc.kit.edu/pse-typinferenz/typicalc/-/issues/34Fehler im Erläuterungstext der let-Regel2023-03-29T11:31:26+02:00unkjxFehler im Erläuterungstext der let-Regel![image](/uploads/8690030568107cf4a429cf96b277ad7f/image.png)
"wird" und "werden", da wird vermutlich ein "muss" hingemacht werden sollen (und hoffentlich auch werden) ;P![image](/uploads/8690030568107cf4a429cf96b277ad7f/image.png)
"wird" und "werden", da wird vermutlich ein "muss" hingemacht werden sollen (und hoffentlich auch werden) ;Phttps://git.scc.kit.edu/pse-typinferenz/typicalc/-/issues/32einzelne Typvariable typisieren: textuelle Beschreibung am Ende fehlerhaft2021-11-29T18:27:29+01:00ughvkeinzelne Typvariable typisieren: textuelle Beschreibung am Ende fehlerhaftTypisiert man eine einzelne Typvariable, bleibt der letzte Schritt der textuellen Beschreibung immer grau ([s. lezter Schritt hier](https://e4d60918-db9d-4447-997a-70db8a246863.ka.bw-cloud-instance.org/infer/a)).
(Das liegt daran, dass ...Typisiert man eine einzelne Typvariable, bleibt der letzte Schritt der textuellen Beschreibung immer grau ([s. lezter Schritt hier](https://e4d60918-db9d-4447-997a-70db8a246863.ka.bw-cloud-instance.org/infer/a)).
(Das liegt daran, dass hier der vorletzte Schritt eigentlich wegfällt ("In this step the most general unifier for the set of constraints is calculated. Therefore the whole set of substitutions is applied to every single substitution of the set."), da hier der MGU direkt dasteht.)