100644 blob 5f6abdf85500312b11982a64d591ca84b3e6fbe7	ast.dart
040000 tree eb2643671c271c06ee6d21f495e7302a6a5eba28	binary
100644 blob 20bf36c81860465200ec6f2b65c6c277a2fc6a39	canonical_name.dart
100644 blob 9fa31ecc0b54fb2a661be010a16a5b6635d8620c	class_hierarchy.dart
100644 blob 17ade682933101db11f38f0f1a9311434d10338c	clone.dart
100644 blob 551ce7967df75887c07ec1051212f3013cdebc65	coq_annot.dart
100644 blob 504eea5f032c8918ddd585ec4f337f2da31d2c42	core_types.dart
100644 blob 56f4a9f46a9fdb0f14483728c21b1be170328cdf	error_formatter.dart
100644 blob 2646fc4e125be3972838e9f1db57dd40b02fa1b1	external_name.dart
100644 blob ae2829cceb0a2b29313e7cf56ee221025cef22ce	import_table.dart
100644 blob aa2a9030ba91927c6bbbc8ffeaeb13def201785d	kernel.dart
100644 blob abebaa4a4fcc3399e3cc8c3357548dcd61be563a	library_index.dart
100644 blob 5924ca69ff14699df798c23271405ae4cf63fd35	naive_type_checker.dart
040000 tree 291dc62c0d1911668875752b12c50b82f7bfaa80	src
040000 tree b3a0a568752cdca2c6b1aa8118a23c02698fd72a	target
040000 tree dd9c35a8ecbf8b9876faf948fe14a9e83564d6a8	testing
040000 tree 2ed42eb9cd50d51c2281977eb71a7225ee3dd887	text
040000 tree 28d5a5bed18b7d64988579dad1e520bf87ed911a	transformations
100644 blob 094bd2f591cddcc6faa34db5ed5ffdc08860ae91	type_algebra.dart
100644 blob 11503d08d3a1eb0f992e3817f755d950c005a41e	type_checker.dart
100644 blob 3e3b4c5d88caf08c0341fe2c9cb9b3411fd5e395	type_environment.dart
040000 tree 8e90ad9d2389e1fe0aba3e7f41e1c0a7c2f004bd	util
100644 blob 85a81770387cf9d9becef614eabf8f97009ec514	verifier.dart
100644 blob a83374b9513e04900b29ade4b39ad441c02c8cc1	visitor.dart
040000 tree 5b1e28ff881ce82f2fb3eb570ba8cd6b1342f99f	vm