-
Notifications
You must be signed in to change notification settings - Fork 2
/
script-pdf.scrbl
30 lines (27 loc) · 1.16 KB
/
script-pdf.scrbl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
#lang scribble/manual
@(require scribble/eval)
@(require "marburg-utils.rkt")
@title[#:version ""]{Informatik 1, WS 2023/24 Universität Tübingen}
@author["Prof. Dr. Klaus Ostermann"]
mit Beiträgen von Jonathan Brachthäuser, Yufei Cai, Yi Dai und Tillmann Rendel
Große Teile dieses Skripts basieren auf dem Buch "How To Design Programs" von M. Felleisen, R.B. Findler, M. Flatt und S. Krishnamurthi.
@table-of-contents[]
@include-section["01-intro.scrbl"]
@include-section["02-ea.scrbl"]
@include-section["03-entwurf.scrbl"]
@include-section["04-batchuniverse.scrbl"]
@include-section["05-data.scrbl"]
@include-section["06-structs.scrbl"]
@include-section["07-polynomials.scrbl"]
@include-section["08-semanticsbsl.scrbl"]
@include-section["09-recdatastructures.scrbl"]
@include-section["10-patternmatching.scrbl"]
@include-section["11-sexps.scrbl"]
@include-section["12-signature-support.scrbl"]
@include-section["13-typecase.scrbl"]
@include-section["14-abstraction.scrbl"]
@include-section["15-loops.scrbl"]
@include-section["16-semanticsisl.scrbl"]
@include-section["17-generativerecursion.scrbl"]
@include-section["18-accumulators.scrbl"]
@include-section["19-quizzes.scrbl"]