Jim Pryor's git trees. - lambda.git/tree

drwxr-xr-x		..
-rw-r--r--	29857	_week7_interpreter_exposition.mdwn	blob \| history \| raw
-rw-r--r--	20498	_week8_monads_in_general.mdwn	blob \| history \| raw
-rw-r--r--	11634	week1_kapulet_advanced.mdwn	blob \| history \| raw
-rw-r--r--	45359	week1_kapulet_intro.mdwn	blob \| history \| raw
-rw-r--r--	12109	week1_order.mdwn	blob \| history \| raw
-rw-r--r--	25264	week2_encodings.mdwn	blob \| history \| raw
-rw-r--r--	7414	week2_lambda_advanced.mdwn	blob \| history \| raw
-rw-r--r--	18722	week2_lambda_intro.mdwn	blob \| history \| raw
-rw-r--r--	5127	week3_church_arithmetic.mdwn	blob \| history \| raw
-rw-r--r--	24249	week3_combinatory_logic.mdwn	blob \| history \| raw
-rw-r--r--	19000	week3_evaluation_order.mdwn	blob \| history \| raw
-rw-r--r--	22849	week3_lists.mdwn	blob \| history \| raw
-rw-r--r--	35823	week3_unit.mdwn	blob \| history \| raw
-rw-r--r--	6702	week3_what_is_computation.mdwn	blob \| history \| raw
-rw-r--r--	34397	week4_fixed_point_combinators.mdwn	blob \| history \| raw
-rw-r--r--	17702	week4_more_about_fixed_point_combinators.mdwn	blob \| history \| raw
-rw-r--r--	17756	week5_simply_typed.mdwn	blob \| history \| raw
-rw-r--r--	23915	week5_system_F.mdwn	blob \| history \| raw
-rw-r--r--	5515	week6_plexy.mdwn	blob \| history \| raw
-rw-r--r--	18206	week7_combinatory_evaluator.mdwn	blob \| history \| raw
-rw-r--r--	17583	week7_introducing_monads.mdwn	blob \| history \| raw