100644 blob 8958632d6fb171907f80a7259d1250725efdf772	.gitignore
040000 tree 61513ff5e17fdd6ffa87a90f7273b468696134ed	closures
040000 tree 8a172cec625e832630cccad7b2b8e42d93083662	input
040000 tree 5970ce01950421a53484f0dc7792156ee6fd5d04	spec-mode
040000 tree 136c9e264da62bf7484e577eb69d8db74b147f38	strong-mode
040000 tree 8246521bc88c985c0fac502a719ed6820eb3aa66	type-propagation