60 Commits

Author	SHA1	Message	Date
janishutz	48d311fb39	[FMFP] Lazy eval done	2026-03-28 11:03:18 +01:00
janishutz	68d2f1c68b	[FMFP] Start lazy evaluation	2026-03-28 10:22:51 +01:00
RobinB27	f189359801	[PS] restructure	2026-03-27 13:26:02 +01:00
janishutz	e7f688c1b7	[FMFP] Interpreters	2026-03-26 17:19:27 +01:00
RobinB27	f71cb9841f	[PS] Expected Value	2026-03-26 13:02:25 +01:00
janishutz	ea57bd5269	[PS] Expected Value: Continuous random variables	2026-03-26 11:16:15 +01:00
janishutz	7535a12860	[PS] Some progress	2026-03-25 16:25:38 +01:00
janishutz	1a0aedeca5	[PS] Start expected value	2026-03-25 13:56:58 +01:00
janishutz	c68d5c2cb8	[PS] Notes	2026-03-23 13:12:53 +01:00
janishutz	bc979fc838	[PS] Correct mistake	2026-03-23 12:00:42 +01:00
janishutz	aba18d086d	[PS] Notes	2026-03-23 11:52:13 +01:00
janishutz	fd07db20d3	[PS] Some fixes	2026-03-23 11:11:13 +01:00
RobinB27	110c1b7207	[PS] fixes	2026-03-22 14:38:47 +01:00
RobinB27	f2224fcba5	[PS] Distributions, cont.	2026-03-19 13:04:59 +01:00
janishutz	404ea2cb6b	[PS] Finish continuous distributions	2026-03-19 09:19:47 +01:00
janishutz	8a95d4a831	[PS] Start continuous distributions	2026-03-18 20:30:22 +01:00
janishutz	2e5262f915	[PS] Finish discrete distributions	2026-03-18 11:48:17 +01:00
janishutz	f3e52702b2	[DMDB] Notes, compile	2026-03-17 17:40:32 +01:00
janishutz	28d0696091	[FMFP] algebraic data types	2026-03-16 17:43:49 +01:00
janishutz	181753782d	[PS] Small fixes	2026-03-16 16:16:15 +01:00
janishutz	904c3027a4	[FMFP] Fix error	2026-03-12 11:38:59 +01:00
janishutz	59d0df0093	[PS] Catch up	2026-03-11 14:13:12 +01:00
RobinB27	5280872e22	[PS] distributions	2026-03-11 11:47:35 +01:00
janishutz	70505e0080	[PS] Small fixes	2026-03-11 11:34:14 +01:00
janishutz	9f5d5b19c4	[PS] Continue discrete random variables	2026-03-11 08:15:49 +01:00
janishutz	7ea45cbf31	[PS] Prepare next section and start	2026-03-10 14:52:43 +01:00
janishutz	abcb96511e	[PS] Some small tweaks	2026-03-09 14:22:54 +01:00
janishutz	8da8d3de0e	[DMDB] Notes for this week	2026-03-07 11:37:16 +01:00
janishutz	20c1d2ccc2	[FMFP] Typing	2026-03-05 17:26:52 +01:00
janishutz	43352a0b10	[FMFP] Typing introduction	2026-03-05 14:12:06 +01:00
janishutz	e83c64315a	[FMFP] Start typing summary	2026-03-04 08:14:51 +01:00
janishutz	3f18e92896	[PS] Probably summarized all of tomorrow's content	2026-03-03 17:00:01 +01:00
janishutz	93dffbedea	[PS] Random variables	2026-03-03 16:04:04 +01:00
janishutz	79fe498f26	[FMFP] Summarize induction for lists	2026-03-03 13:38:07 +01:00
janishutz	948bc1f567	[FMFP] Correctness	2026-03-02 17:01:01 +01:00
janishutz	af1208bed4	[DMDB] Some more notes	2026-03-01 13:14:12 +01:00
janishutz	0a8462e1b7	[PS] More fixes	2026-03-01 09:55:51 +01:00
janishutz	d02ddf44dc	[PS] Fix more errors	2026-02-28 20:47:26 +01:00
janishutz	0af2aeaa08	[PS] Fix error	2026-02-28 19:55:35 +01:00
janishutz	00b0bdfb60	[DMDB] Some notes	2026-02-28 18:04:32 +01:00
janishutz	6216dc0691	[FMFP] Somewhat caught up	2026-02-28 15:40:38 +01:00
janishutz	c079e88fe9	[FMFP] Mostly summarized formal reasoning	2026-02-28 15:21:27 +01:00
janishutz	9d72814b56	[FMFP] Start summary	2026-02-27 17:11:45 +01:00
janishutz	18734a18b6	[DMDB] Finish set up	2026-02-26 16:31:00 +01:00
janishutz	3c74897809	[CN] Set up	2026-02-26 14:10:22 +01:00
janishutz	02a96609a8	[FMFP] Set up	2026-02-26 14:10:19 +01:00
janishutz	9f00357165	[DMDB] Set up	2026-02-26 14:10:14 +01:00
janishutz	77f3af0246	[PS] Almost caught up	2026-02-25 19:46:07 +01:00
janishutz	10b06ac97c	[Sem4] Update to new helpers	2026-02-25 09:17:34 +01:00
RobinB27	2d48c0fd16	[PS] ch. 1	2026-02-23 14:56:27 +01:00