Revīziju vēsture

Autors SHA1 Ziņojums Datums
  Martin Thoma 7740f0147f Remove trailing spaces 9 gadi atpakaļ
  Martin Thoma 8cb50f7720 added church numerals to index 11 gadi atpakaļ
  Martin Thoma 338b7a2b45 Index verbessert; Inhalte zum Lambda-Kalkül hinzugefügt 11 gadi atpakaļ
  Martin Thoma 28ad9f1197 Verbesserungsvorschläge von Jeremias (Facebook, 05.04.2014) 11 gadi atpakaļ
  Martin Thoma 0508de3f6a Misc; E-Mail von Moritz 11 gadi atpakaļ
  Martin Thoma 3e4c3f876f fixed minted label issue 11 gadi atpakaļ
  Martin Thoma 80e8df59d6 Abschnitt über Arithmetik in Prolog hinzugefügt; misc 11 gadi atpakaļ
  Martin Thoma 82dd24d55b Prolog 11 gadi atpakaļ
  Martin Thoma 757626b99e Symbolverzeichnis verschönert 11 gadi atpakaļ
  Martin Thoma 0174aa0cc6 Fixpunktkombinatoren; Haskell-Beispiele 11 gadi atpakaļ
  Martin Thoma 682d2a6f21 Backtracking 11 gadi atpakaļ
  Martin Thoma 00c02a4fea MPI;Prolog; Index ergänzt 11 gadi atpakaļ
  Martin Thoma a586fb4f77 Added C 11 gadi atpakaļ
  Martin Thoma 25732f4421 misc 11 gadi atpakaļ
  Martin Thoma 2a58ef985d Beispiel hinzugefügt 11 gadi atpakaļ