100644 blob 8958632d6fb171907f80a7259d1250725efdf772	.gitignore
040000 tree 3c5834d37c0223ea9463ba7d6ca27d886639015e	closures
040000 tree cf50c9e38f32e7cf6afd415a6d5fc762cb7c6703	input
040000 tree 25235af0a821d6b485d8c9f60cd542c79920120b	reify
040000 tree 31f0cbb9f826bc76e2e90675d3a74bb134798d98	spec-mode
040000 tree eb1af06db17d0b1b602fa58853cb3bf9984baa2b	strong-mode
040000 tree d5b224c76ff07b3eafb6657ea8f7b25f32729fe6	type-propagation