100644 blob 8958632d6fb171907f80a7259d1250725efdf772	.gitignore
040000 tree 3c5834d37c0223ea9463ba7d6ca27d886639015e	closures
040000 tree cf50c9e38f32e7cf6afd415a6d5fc762cb7c6703	input
040000 tree 1a04046722b38cfaf891d7dbac30f4d70310f47e	reify
040000 tree 31f0cbb9f826bc76e2e90675d3a74bb134798d98	spec-mode
040000 tree 0517ae7ba7961860674b90c313d6a3e411db9f63	strong-mode
040000 tree d5b224c76ff07b3eafb6657ea8f7b25f32729fe6	type-propagation