100644 blob 8958632d6fb171907f80a7259d1250725efdf772	.gitignore
040000 tree 15dc32faf959f1a67a147250e1ccde91ef7a84e4	closures
040000 tree cf50c9e38f32e7cf6afd415a6d5fc762cb7c6703	input
040000 tree 31f0cbb9f826bc76e2e90675d3a74bb134798d98	spec-mode
040000 tree 1147679789fbd8eea835a7ebbf183c5b86a6a218	strong-mode
040000 tree d5b224c76ff07b3eafb6657ea8f7b25f32729fe6	type-propagation