100644 blob 4f16b8a588b1c2f852fae8c020ac2c27b8142b1f	ast.dart
040000 tree a82f3e75f129285eaa3bfa27fb9b8daa3ef4c12d	binary
100644 blob 20bf36c81860465200ec6f2b65c6c277a2fc6a39	canonical_name.dart
100644 blob 24fa14b8603860b09c632cad9cd9b20b8e985f90	class_hierarchy.dart
100644 blob 17ade682933101db11f38f0f1a9311434d10338c	clone.dart
100644 blob 551ce7967df75887c07ec1051212f3013cdebc65	coq_annot.dart
100644 blob 9df95cad4b0f5ae71d057787ce5e20487c035fb8	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 5924ca69ff14699df798c23271405ae4cf63fd35	naive_type_checker.dart
040000 tree aa8f641ccd4ac950f7f81df7b891a9bd727e8c71	src
040000 tree a909dc03c39537ee810d14363897c87b0203b401	target
040000 tree dd9c35a8ecbf8b9876faf948fe14a9e83564d6a8	testing
040000 tree c7b37a4ffbbb089b6e073981e55b73d602e8f4c3	text
040000 tree 1c89101d6284f9858f5bb22239199617bb5aef2c	transformations
100644 blob 094bd2f591cddcc6faa34db5ed5ffdc08860ae91	type_algebra.dart
100644 blob 8fa6ea8a34d0fe07b64208e92a057b1880a2341e	type_checker.dart
100644 blob d0603b81d3dac788764de38861f503a8a7e887ba	type_environment.dart
040000 tree 8e90ad9d2389e1fe0aba3e7f41e1c0a7c2f004bd	util
100644 blob 85a81770387cf9d9becef614eabf8f97009ec514	verifier.dart
100644 blob 177a883606c44b5a52d7e5b2c7e1656a437b1e7a	visitor.dart
040000 tree 5cb579db3852a8ed770f55a05fb1d587f1289950	vm