100644 blob 8958632d6fb171907f80a7259d1250725efdf772	.gitignore
040000 tree c94f2588bcf3f09e86dda35a302dbad364158ff5	input
040000 tree b1daa634c759ace92007895fac08220e9d3f07bb	spec-mode
040000 tree 24cc326ec52fac2ebc53f0b9d4cb67d0db78aea6	strong-mode
040000 tree eccde96a349ad878fc4ec5a1697ea1f7d059695d	type-propagation