100644 blob d738ec503c62baaab11ba41c2afeb1c668202bef	ast.dart
040000 tree 92829f560884abeaac0a32a4a83050dd10c0e0c4	binary
100644 blob 20bf36c81860465200ec6f2b65c6c277a2fc6a39	canonical_name.dart
100644 blob 51f0730b03d6d3d378496a6b214a61552f764f68	class_hierarchy.dart
100644 blob 17ade682933101db11f38f0f1a9311434d10338c	clone.dart
100644 blob 551ce7967df75887c07ec1051212f3013cdebc65	coq_annot.dart
100644 blob ddc4aac49ea6fa0cbbd014ebee96f27d332ac8d4	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 cd7fe81fd9d226fab763857ae1fc6dc0eb42183e	src
040000 tree af9791c4c77b8343bbca54f310e74a3a3bb803b7	target
040000 tree dd9c35a8ecbf8b9876faf948fe14a9e83564d6a8	testing
040000 tree ad04bb1feead5f2ae88d3d7266542fc18792e3a8	text
040000 tree b8bf0d868b4e739a7ec95a8a51b0f2fb91eac668	transformations
100644 blob 094bd2f591cddcc6faa34db5ed5ffdc08860ae91	type_algebra.dart
100644 blob 11503d08d3a1eb0f992e3817f755d950c005a41e	type_checker.dart
100644 blob 20cceb6d54bfa6d0943694020f029fd31f6556ac	type_environment.dart
040000 tree 8e90ad9d2389e1fe0aba3e7f41e1c0a7c2f004bd	util
100644 blob 85a81770387cf9d9becef614eabf8f97009ec514	verifier.dart
100644 blob a83374b9513e04900b29ade4b39ad441c02c8cc1	visitor.dart
040000 tree 3282a65a5360f01fe6ce0b5bb1ea0467a27c6739	vm