100644 blob 6fdda0025831777e42a70e428b1d5a9f1ab627fb	ast.dart
040000 tree d0a2f3d31f6cdee715b8bc0c4c988d8be5e247c4	binary
100644 blob 76fd5d86946a9eb160300fc021bafc6534eac264	canonical_name.dart
100644 blob 7be58d15c9985dd23060a036dee9b2a32e74f709	class_hierarchy.dart
100644 blob 62b3a7bdd5337786c50f088a40c2e1aa0f420398	clone.dart
100644 blob 551ce7967df75887c07ec1051212f3013cdebc65	coq_annot.dart
100644 blob aa8d0f7379d05c1b8cae97c59009de54d85aece6	core_types.dart
100644 blob 56f4a9f46a9fdb0f14483728c21b1be170328cdf	error_formatter.dart
100644 blob 65770418a80b1d7bf430f6ae9547100f24136b14	external_name.dart
100644 blob f54993396e0b0fa5c9f3f7f31784250419777157	import_table.dart
100644 blob aa2a9030ba91927c6bbbc8ffeaeb13def201785d	kernel.dart
100644 blob abebaa4a4fcc3399e3cc8c3357548dcd61be563a	library_index.dart
100644 blob 5924ca69ff14699df798c23271405ae4cf63fd35	naive_type_checker.dart
040000 tree 30006740209f3e54607fffdd7bd1d5d96b87dac0	src
040000 tree 2c5a3e0e2793e5b749a7561d98a1ce6a62ee9910	target
040000 tree dd9c35a8ecbf8b9876faf948fe14a9e83564d6a8	testing
040000 tree 531d0937de914d242ba10ba42945e0fb7b9c1bb1	text
040000 tree d1c1b6aa649fa969feabdb1dc34c32eb73fd152b	transformations
100644 blob d8475589a1278010cff70fa3ae00f9931be2f94d	type_algebra.dart
100644 blob 8faae52e43c6ea2b746fbb8480c5a421018719e1	type_checker.dart
100644 blob 795f9d4105eca3dc760579df9d91835088133e4d	type_environment.dart
040000 tree 8e90ad9d2389e1fe0aba3e7f41e1c0a7c2f004bd	util
100644 blob 1bfcb8b6e94e282a5e6263708c96db6ebd1f2d4c	verifier.dart
100644 blob bdea433d76b4c2c78eedaa7cb8dd5344c472f1e1	visitor.dart
040000 tree e053dfe474f72854ee32969a143d12499671eb80	vm