040000 tree 001aeed897d694b4782d00208a8b13545e335a05	analyzer
100644 blob a65d8dd0bf12c4ce1c58daa5f6242877be678f75	application_root.dart
100644 blob 4796c396cc8140e1c2d342269d2ac3905cb17fce	ast.dart
040000 tree 5b5b7960d19b6524198625618d871ee37774431f	binary
100644 blob 6fbc693a3fbd89ed7235b4a8c078424add0bc146	canonical_name.dart
100644 blob 604208a990a242f68d82e60a00ad74382e253761	class_hierarchy.dart
100644 blob f26f83c245a6813d509e2a55933fadf5a0517b66	clone.dart
100644 blob 551ce7967df75887c07ec1051212f3013cdebc65	coq_annot.dart
100644 blob 485074d5cedd2796cb5e9c9b2168ccf38b0f2f3a	core_types.dart
100644 blob 56f4a9f46a9fdb0f14483728c21b1be170328cdf	error_formatter.dart
100644 blob 4da52a86e0c3ecede5768c71e6884de41c576248	external_name.dart
100644 blob ae2829cceb0a2b29313e7cf56ee221025cef22ce	import_table.dart
040000 tree 0c6700a67ece5ef5d12c80e66793aa56aa58228a	interpreter
100644 blob aa2a9030ba91927c6bbbc8ffeaeb13def201785d	kernel.dart
100644 blob 0f5ab1682dec97f3cb2ee1800b008a8971f9d654	library_index.dart
100644 blob 9a6d6a2511dfd17868bc5ae5a726181cbb236c95	log.dart
100644 blob 548e4346ca6675bbebb0b9a2a4cd4c67c1af6148	naive_type_checker.dart
040000 tree 31196b55172ce0c8fbeec2107f84e5e2efee1c17	src
040000 tree 84f52979b6c4cc8c332f98aa20981e8dd9722a39	target
040000 tree dd9c35a8ecbf8b9876faf948fe14a9e83564d6a8	testing
040000 tree 059a5cc1d2b6e06cf1d17eec8086ca4a56646c8b	text
040000 tree 45258f7aa6964d4e2a5679c6844f5f12cbb571b8	transformations
100644 blob b66ee8c17681085e9e4d04a0844a252f7fa94a69	type_algebra.dart
100644 blob 39412ae7ff672812e03dbab8b2867623fb5d5d9f	type_checker.dart
100644 blob 0e50c51b1b7b63bbfd97cabe4627cb2581abfd13	type_environment.dart
040000 tree 8e90ad9d2389e1fe0aba3e7f41e1c0a7c2f004bd	util
100644 blob 3d8e362945f29020c31e71340ac6971c238b75ce	verifier.dart
100644 blob cde0c92e453ab2be96ca30f77aea752bc90af755	visitor.dart
040000 tree 21be037031c5666d1da7f7362dd3174cc937cb9f	vm