search

hhu-adam / Robo

A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
https://adam.math.hhu.de
Apache License 2.0
16 stars 9 forks source link

Tippfehler korrigieren. #16

Closed jcla1 closed 4 months ago

jcla1 commented 4 months ago

(Tut mir leid, dass das so Tröpfchen-weise kommt. Ich war mir nicht sicher, ob ich nach der ersten Welt weiter mache.)

jcla1 commented 4 months ago

Eine Sache die ich mich beim Lesen noch frage: manchmal wir der Leser mit kapitalisierten Pronomen (Du/Euch) angesprochen und manchmal mit der lower-case Variante. Gibt's da eine Präferenz?

joneugster commented 4 months ago

Danke!

Du/euch klein geschrieben. Wir hatten hier mal einen Styleguide angefangen: https://github.com/hhu-adam/Robo/blob/main/STYLEGUIDE.md

joneugster commented 4 months ago

Danke!