040000 tree 001aeed897d694b4782d00208a8b13545e335a05	analyzer
100644 blob a65d8dd0bf12c4ce1c58daa5f6242877be678f75	application_root.dart
100644 blob 9c04a035d646c1a929fcbe0340317f638fc270cb	ast.dart
040000 tree c7757d3b6311904d78991a6239aa876b469cd675	binary
100644 blob 0ef7066452b270a9bfcf7edeac825b9d0765250d	canonical_name.dart
100644 blob 36c315686e6c9dc33f46a3305ec140d77b1ee335	class_hierarchy.dart
100644 blob 74b1fc14e8b052c8b88276fa027a741f40265284	clone.dart
100644 blob 551ce7967df75887c07ec1051212f3013cdebc65	coq_annot.dart
100644 blob 37f7fa088cd5336a499131bbb6b494fe06302fbd	core_types.dart
100644 blob 0298585d641be1352aee019e8140b874b3ef96c3	error_formatter.dart
040000 tree 5e01e88bfbcfbc417ab36c799df95cf5426c6a5f	frontend
100644 blob baadca4213eba3d05234a5327bcb68fc0e742c31	import_table.dart
040000 tree 5828dd736e799c3713991c25c1d22e88fd24dda1	interpreter
100644 blob 48af8f45c6d20bc1c52f226c4a46771aa559fc1a	kernel.dart
100644 blob 0708af318fa9e6f5e93655c49a669eb5ee03df57	library_index.dart
100644 blob 9a6d6a2511dfd17868bc5ae5a726181cbb236c95	log.dart
100644 blob c0708523b638ba1fac416e1aa11ffec417b397c8	naive_type_checker.dart
040000 tree eba513ff2e65c0d52a588cb17c6ea7602bd4c118	src
040000 tree c0ecf72de8b4f77ef90d13a0294553cf21fc2094	target
040000 tree c47734af1cc22f09b6e0015cd68232d19187429d	testing
040000 tree a643dbf751df8aa9d3daf5ff0a775823400e7018	text
040000 tree 8c10e15810811b3f041f145372fd7736c05b3cd2	transformations
100644 blob 3b935ad15e9900c7526a4cdc310024b6ec301916	type_algebra.dart
100644 blob 6421efcb8028b917ca7036244502205f291f92e5	type_checker.dart
100644 blob 122c5e9bd6ac87bcca354880f929467ae507f19b	type_environment.dart
100644 blob be3697eae8860748844e2c3a99e2ac42272e78ba	verifier.dart
100644 blob 27f8e6a4920ab2d5a7cb0437717667aeb9092c36	visitor.dart