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

drwxr-xr-x		..
-rw-r--r--	19553	_week8_binding.mdwn	blob \| history \| raw
-rw-r--r--	9626	_week8_intensionality.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--	34415	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--	8299	week7_environments_and_closures.mdwn	blob \| history \| raw
-rw-r--r--	37381	week7_introducing_monads.mdwn	blob \| history \| raw
-rw-r--r--	35821	week7_untyped_evaluator.mdwn	blob \| history \| raw
-rw-r--r--	9751	week8_safe_division_with_monads.mdwn	blob \| history \| raw