040000 tree 001aeed897d694b4782d00208a8b13545e335a05	analyzer
100644 blob a65d8dd0bf12c4ce1c58daa5f6242877be678f75	application_root.dart
100644 blob ab5b52f5ffb51e8f194d2c21fceb6493ef828f15	ast.dart
040000 tree 88fb926150e2dc6b5a5da19f8f604c070b32b28f	binary
100644 blob 4aa90037c7ae7147f70446cfa25b150e20fa9b2e	canonical_name.dart
100644 blob 55cd9166dffb232455eb94a4c9f54a98e00cd9f3	class_hierarchy.dart
100644 blob 0d4982d5c8d4c643449bd57971bfb854f2ce1d9d	clone.dart
100644 blob 551ce7967df75887c07ec1051212f3013cdebc65	coq_annot.dart
100644 blob fe1cd4b95e867288bc8102f623ddfd2efe7a173b	core_types.dart
100644 blob cdddaba1c1171c8fda457ade556f8b9d14cc2e8f	error_formatter.dart
040000 tree 2e6d8ae090e518241293a954f622389fe6512b97	frontend
100644 blob baadca4213eba3d05234a5327bcb68fc0e742c31	import_table.dart
040000 tree e34cdd9259692ae3e432e5fbf111196f7ceb9e5d	interpreter
100644 blob e3c04e1c6330fe14977a77f883432ca87a5b5985	kernel.dart
100644 blob 0708af318fa9e6f5e93655c49a669eb5ee03df57	library_index.dart
100644 blob 9a6d6a2511dfd17868bc5ae5a726181cbb236c95	log.dart
100644 blob 4450bc5febfff3389245ed4ac2b38bee21522ed2	naive_type_checker.dart
040000 tree e1dc2e525ba804b77d27812f6e945d16d2069536	src
040000 tree 704ae19c4635010ea87d8464e4df2bacb8745df2	target
040000 tree c47734af1cc22f09b6e0015cd68232d19187429d	testing
040000 tree 2f7bd04181574addabe3f60c060de5c9604cfc48	text
040000 tree 55509d71fb69b3c229fb3d574e6afc503b427281	transformations
100644 blob fc325fd3a229df0ab3c9272039f99d76d26cd117	type_algebra.dart
100644 blob 7b73df2cf3bab16bb268c430599a9f17b2543cf6	type_checker.dart
100644 blob d12bf7bce9eba30ccdbea7be52f86695e3570f71	type_environment.dart
040000 tree 8e90ad9d2389e1fe0aba3e7f41e1c0a7c2f004bd	util
100644 blob fbbfb81d433f0350a5622fc797fde1b343e69b28	verifier.dart
100644 blob 5890d5fd0406a57e8000d3307848437f6ddb2a9e	visitor.dart
040000 tree 1b4b24060de0108453bd342b082304a1405be473	vm