2
0
Fork 0
mirror of https://github.com/MartinThoma/LaTeX-examples.git synced 2025-04-25 14:28:05 +02:00
Commit graph

22 commits

Author SHA1 Message Date
Martin Thoma
19c2ef6eec Haskell (dollar-Zeichen) 2014-03-30 13:59:51 +02:00
Martin Thoma
bb674b307b Funktionsapplikation 2014-03-25 19:48:20 +01:00
Pascal Bies
a9bcbcbe8e Typo in Flynn'scher Klassifikation behoben
Fehler in Einleitung zu Haskell verbessert
2014-03-24 18:48:38 +01:00
Martin Thoma
80e8df59d6 Abschnitt über Arithmetik in Prolog hinzugefügt; misc 2014-03-23 19:28:44 +01:00
Martin Thoma
0174aa0cc6 Fixpunktkombinatoren; Haskell-Beispiele 2014-03-20 13:42:52 +01:00
Martin Thoma
8e73ed0910 Haskell-Beispiele hinzugefügt 2014-03-18 19:31:04 +01:00
Martin Thoma
682d2a6f21 Backtracking 2014-03-18 15:45:40 +01:00
Martin Thoma
2f943ff667 some haskell / chruch numbers 2014-03-12 21:07:00 +01:00
Martin Thoma
7e76256e4e Added Scala example 2014-03-10 15:39:59 +01:00
Martin Thoma
b74de7b8da Added definitions / examples 2014-03-08 13:16:08 +01:00
Martin Thoma
c181e1f412 Abschnitt: lambda-Kalkül hinzugefügt 2014-03-02 18:02:13 +01:00
Martin Thoma
1938222321 GeoTopo images for easier compiling; Lazy evalution; Logik 2014-03-01 20:04:19 +01:00
Martin Thoma
2306a2af2e Haskell / Prolog 2014-02-24 11:44:57 +01:00
Martin Thoma
cb8323f0e9 misc 2014-02-04 15:05:14 +01:00
Martin Thoma
78368fa6e9 Viel zu Haskell ergänzt; Funktionen höherer Ordnung beschrieben 2014-02-04 14:07:24 +01:00
Martin Thoma
dbf66188b6 Beispiele für Listenoperationen in Haskell hinzugefügt 2014-02-02 18:01:02 +01:00
Martin Thoma
7e99fea83a Abschnitt über Rekursion hinzugefügt 2014-02-02 17:48:55 +01:00
Martin Thoma
e7e4f64df5 Haskell Type hierarchy 2014-02-02 11:59:07 +01:00
Martin Thoma
01c3ca6884 Prolog hinzugefügt 2014-02-01 19:44:40 +01:00
Martin Thoma
3b44772968 Haskell angefangen 2014-02-01 15:32:13 +01:00
Martin Thoma
ff14701ccf ASCII-Tabelle in C angefangen; Kapitel Programmiersprachen hinzugefügt; erste Definitionen 2014-02-01 14:39:16 +01:00
Martin Thoma
80640f870c Programmierparadigmen 2014-02-01 13:46:33 +01:00