100644 blob 0cf92d10e345455d5f04c7ea871deba438394356	ast.dart
040000 tree a82f3e75f129285eaa3bfa27fb9b8daa3ef4c12d	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 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 033d5cb04cf2f690b37a0ff661ad765cdb78bb2e	text
040000 tree e599d35a0913ead0ffc87c1909f8625971be9aed	transformations
100644 blob 094bd2f591cddcc6faa34db5ed5ffdc08860ae91	type_algebra.dart
100644 blob 8fa6ea8a34d0fe07b64208e92a057b1880a2341e	type_checker.dart
100644 blob 09c94068d41653ba5941c7017b80c66188c3b86c	type_environment.dart
040000 tree 8e90ad9d2389e1fe0aba3e7f41e1c0a7c2f004bd	util
100644 blob 85a81770387cf9d9becef614eabf8f97009ec514	verifier.dart
100644 blob 177a883606c44b5a52d7e5b2c7e1656a437b1e7a	visitor.dart
040000 tree 5cb579db3852a8ed770f55a05fb1d587f1289950	vm