100644 blob 5d366a5c975efdb875befe3429e312166cd496f3	ast.dart
040000 tree 9cb06fbc52d5406baa8c55f672e5e81e8a4b48df	binary
100644 blob 76fd5d86946a9eb160300fc021bafc6534eac264	canonical_name.dart
100644 blob 51f0730b03d6d3d378496a6b214a61552f764f68	class_hierarchy.dart
100644 blob d5f19404ab33ebbe7dec383d6b7d62c6055d29bb	clone.dart
100644 blob 551ce7967df75887c07ec1051212f3013cdebc65	coq_annot.dart
100644 blob aa8d0f7379d05c1b8cae97c59009de54d85aece6	core_types.dart
100644 blob 56f4a9f46a9fdb0f14483728c21b1be170328cdf	error_formatter.dart
100644 blob 2646fc4e125be3972838e9f1db57dd40b02fa1b1	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 a60a34d7d42173423fefa1ee92e71cc6be45646b	target
040000 tree dd9c35a8ecbf8b9876faf948fe14a9e83564d6a8	testing
040000 tree 9f8c17db7f40f544a2f096a491ae87b0b50f5eba	text
040000 tree ae76b26ae90f3ee87923d64615b60fce6f3eb43e	transformations
100644 blob a8d41d4cb608c7e6334bb5fc91d56c7336dc53c6	type_algebra.dart
100644 blob 8faae52e43c6ea2b746fbb8480c5a421018719e1	type_checker.dart
100644 blob 795f9d4105eca3dc760579df9d91835088133e4d	type_environment.dart
040000 tree 8e90ad9d2389e1fe0aba3e7f41e1c0a7c2f004bd	util
100644 blob 39ee5406d54975eb9fa623df3448f24a30ce4e47	verifier.dart
100644 blob b1a99386c3bfb510f65fddfa8ed386d121e0191b	visitor.dart
040000 tree e053dfe474f72854ee32969a143d12499671eb80	vm