100644 blob 8958632d6fb171907f80a7259d1250725efdf772	.gitignore
040000 tree c94f2588bcf3f09e86dda35a302dbad364158ff5	input
040000 tree d7b7a9c2ba5d2b8c236b294c10877a3ffb37dfdd	spec-mode
040000 tree cea7490aa1379628f80836d549c01c9693c2e96a	strong-mode
040000 tree 624b09af834dce5daff448477e66b1113166a6ad	type-propagation