100644 blob 5ad1abb3999fdfc6459405e37dfcf3876c3188ce	ast.dart
040000 tree 0f3cdde2106bcb7d0ec53f7b26c9f64f8ed6a377	binary
100644 blob 20bf36c81860465200ec6f2b65c6c277a2fc6a39	canonical_name.dart
100644 blob 214572a2268230a481458120ec75bd2f52a781fe	class_hierarchy.dart
100644 blob 17ade682933101db11f38f0f1a9311434d10338c	clone.dart
100644 blob 551ce7967df75887c07ec1051212f3013cdebc65	coq_annot.dart
100644 blob 7b61a65bd5098f98bcafed185e7ea714bd1be356	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 4a13042fb41fc45d85e251052f2da7d75969aa4a	naive_type_checker.dart
040000 tree aa8f641ccd4ac950f7f81df7b891a9bd727e8c71	src
040000 tree 5c20180259b4d3477161f30e756adcda9018a88d	target
040000 tree dd9c35a8ecbf8b9876faf948fe14a9e83564d6a8	testing
040000 tree 43af04a7c7f895369ecbd06cf4cf8240a9824e3d	text
040000 tree 55168f3a6a964bcb8be6175893a951eacb7699c8	transformations
100644 blob 094bd2f591cddcc6faa34db5ed5ffdc08860ae91	type_algebra.dart
100644 blob 9d5318cb732958c2a988a53604811d549b8de782	type_checker.dart
100644 blob 8967c3d5d01397e43c49e944967310c747e19264	type_environment.dart
040000 tree 8e90ad9d2389e1fe0aba3e7f41e1c0a7c2f004bd	util
100644 blob 3d8e362945f29020c31e71340ac6971c238b75ce	verifier.dart
100644 blob 56cbd5705137cbd43afc6101d4d2aa3afc5ba746	visitor.dart
040000 tree c2d26e2a295fb5c56c2046ceba363e33fca34ca5	vm