100644 blob a65d8dd0bf12c4ce1c58daa5f6242877be678f75	application_root.dart
100644 blob 7555396baabe556d8cb436b65cf1d0c11d8286a2	ast.dart
040000 tree 9a9d09c0e7babe982b4d00a756d6884f145491b4	binary
100644 blob 6fbc693a3fbd89ed7235b4a8c078424add0bc146	canonical_name.dart
100644 blob 214572a2268230a481458120ec75bd2f52a781fe	class_hierarchy.dart
100644 blob c5ea6e349c2546f78a95a6b1115aba23114b8fa6	clone.dart
100644 blob 551ce7967df75887c07ec1051212f3013cdebc65	coq_annot.dart
100644 blob f74dc34f0eb14a664e906b3aac25fef76a4535c2	core_types.dart
100644 blob 56f4a9f46a9fdb0f14483728c21b1be170328cdf	error_formatter.dart
100644 blob 4da52a86e0c3ecede5768c71e6884de41c576248	external_name.dart
100644 blob ae2829cceb0a2b29313e7cf56ee221025cef22ce	import_table.dart
100644 blob aa2a9030ba91927c6bbbc8ffeaeb13def201785d	kernel.dart
100644 blob 0f5ab1682dec97f3cb2ee1800b008a8971f9d654	library_index.dart
100644 blob 9a6d6a2511dfd17868bc5ae5a726181cbb236c95	log.dart
100644 blob 4a13042fb41fc45d85e251052f2da7d75969aa4a	naive_type_checker.dart
040000 tree 19a2bccb03aa209543d6b1e7a492874ed7dfb7bf	src
040000 tree 29d5728377c1c37d5f3ed495152239c70491146f	target
040000 tree dd9c35a8ecbf8b9876faf948fe14a9e83564d6a8	testing
040000 tree d5c046b594ec1acadf9fc0ccb0a86b8d472c02f8	text
040000 tree 55168f3a6a964bcb8be6175893a951eacb7699c8	transformations
100644 blob 7268136b85478699729729a5b0a1c55953e75856	type_algebra.dart
100644 blob 850b2ddf43b43e367969a58d5c8684016a239b8e	type_checker.dart
100644 blob 5b4e5bae266b735b60a68b58d70e9a718ff54faa	type_environment.dart
040000 tree 8e90ad9d2389e1fe0aba3e7f41e1c0a7c2f004bd	util
100644 blob 3d8e362945f29020c31e71340ac6971c238b75ce	verifier.dart
100644 blob a93186eb3e19374f8b1feb9d453897c7af876a18	visitor.dart
040000 tree c2d26e2a295fb5c56c2046ceba363e33fca34ca5	vm