scenes « src - fslc-compiling-the-lambda-calculus.git - motion canvas presentation on the untyped lambda calculus for the FSLC

Mode	Name	Size
-rw-r--r--	birthday_letters.meta	60	log plain blame
-rw-r--r--	birthday_letters.tsx	5449	log plain blame
-rw-r--r--	boolean_algebra_lambda.meta	60	log plain blame
-rw-r--r--	boolean_algebra_lambda.tsx	1223	log plain blame
-rw-r--r--	boolean_encoding.meta	60	log plain blame
-rw-r--r--	boolean_encoding.tsx	1047	log plain blame
-rw-r--r--	church_encoding.meta	59	log plain blame
-rw-r--r--	church_encoding.tsx	1114	log plain blame
-rw-r--r--	currying.meta	60	log plain blame
-rw-r--r--	currying.tsx	3038	log plain blame
-rw-r--r--	currying_detail.meta	60	log plain blame
-rw-r--r--	currying_detail.tsx	4271	log plain blame
-rw-r--r--	dna.meta	59	log plain blame
-rw-r--r--	dna.tsx	563	log plain blame
-rw-r--r--	doctor.meta	60	log plain blame
-rw-r--r--	doctor.tsx	1664	log plain blame
-rw-r--r--	first_box.meta	60	log plain blame
-rw-r--r--	first_box.tsx	1258	log plain blame
-rw-r--r--	flirtingwithfunctions.meta	60	log plain blame
-rw-r--r--	flirtingwithfunctions.tsx	824	log plain blame
-rw-r--r--	function_dna.meta	60	log plain blame
-rw-r--r--	function_dna.tsx	2298	log plain blame
-rw-r--r--	further.meta	58	log plain blame
-rw-r--r--	further.tsx	1089	log plain blame
-rw-r--r--	generalized.meta	60	log plain blame
-rw-r--r--	generalized.tsx	5928	log plain blame
-rw-r--r--	hungry_partner.meta	60	log plain blame
-rw-r--r--	hungry_partner.tsx	3482	log plain blame
-rw-r--r--	impostor.meta	59	log plain blame
-rw-r--r--	impostor.tsx	2877	log plain blame
-rw-r--r--	index.ts	1960	log plain blame
-rw-r--r--	lambda_recursion.meta	60	log plain blame
-rw-r--r--	lambda_recursion.tsx	1142	log plain blame
-rw-r--r--	lambda_reduction_example.meta	60	log plain blame
-rw-r--r--	lambda_reduction_example.tsx	1277	log plain blame
-rw-r--r--	me.meta	60	log plain blame
-rw-r--r--	me.tsx	1989	log plain blame
-rw-r--r--	partone.meta	60	log plain blame
-rw-r--r--	partone.tsx	605	log plain blame
-rw-r--r--	parttwo.meta	60	log plain blame
-rw-r--r--	parttwo.tsx	501	log plain blame
-rw-r--r--	pros_cons.meta	60	log plain blame
-rw-r--r--	pros_cons.tsx	1581	log plain blame
-rw-r--r--	pure_functions.meta	60	log plain blame
-rw-r--r--	pure_functions.tsx	3631	log plain blame
-rw-r--r--	questions.meta	60	log plain blame
-rw-r--r--	questions.tsx	497	log plain blame
-rw-r--r--	recursion.meta	59	log plain blame
-rw-r--r--	recursion.tsx	938	log plain blame
-rw-r--r--	reductions.meta	60	log plain blame
-rw-r--r--	reductions.tsx	1213	log plain blame
-rw-r--r--	sad_people.meta	59	log plain blame
-rw-r--r--	sad_people.tsx	2508	log plain blame
-rw-r--r--	substitution.meta	60	log plain blame
-rw-r--r--	substitution.tsx	1291	log plain blame
-rw-r--r--	the_lambda_calculus.meta	59	log plain blame
-rw-r--r--	the_lambda_calculus.tsx	1191	log plain blame
-rw-r--r--	title.meta	59	log plain blame
-rw-r--r--	title.tsx	906	log plain blame
-rw-r--r--	valentines_letters.meta	60	log plain blame
-rw-r--r--	valentines_letters.tsx	3069	log plain blame