Commit History

Author SHA1 Message Date
  Martin Thoma 7740f0147f Remove trailing spaces 9 years ago
  Martin Thoma 42486c92a4 Fehler korrigiert - danke an Vincent Schnitzbauer 11 years ago
  Martin Thoma 338b7a2b45 Index verbessert; Inhalte zum Lambda-Kalkül hinzugefügt 11 years ago
  Martin Thoma 28ad9f1197 Verbesserungsvorschläge von Jeremias (Facebook, 05.04.2014) 11 years ago
  Martin Thoma 0508de3f6a Misc; E-Mail von Moritz 11 years ago
  Martin Thoma 3e4c3f876f fixed minted label issue 11 years ago
  Martin Thoma 9eb2958571 Typisierungsregel hinzugefügt 11 years ago
  Martin Thoma 683b8a645a Typinferenz um 2 Beispiele erweitert 11 years ago
  Martin Thoma 757626b99e Symbolverzeichnis verschönert 11 years ago
  Martin Thoma 8b909ca53f Abschnitt 'Typinferenz' hinzugefügt 11 years ago