040000 tree 001aeed897d694b4782d00208a8b13545e335a05	analyzer
100644 blob a65d8dd0bf12c4ce1c58daa5f6242877be678f75	application_root.dart
100644 blob c2fa92f3c5b491d41a7d0c40d6e435ac5c3cf5e6	ast.dart
040000 tree f1f9eff96d5fba5060e1597e9245a9a55fde8411	binary
100644 blob 4aa90037c7ae7147f70446cfa25b150e20fa9b2e	canonical_name.dart
100644 blob be0c79aeb858ce8aeafe8ab571f5e06f960a2e0b	class_hierarchy.dart
100644 blob 22dbf96d5f5c365b2b8aad268ab29e8acfdd36e9	clone.dart
100644 blob 551ce7967df75887c07ec1051212f3013cdebc65	coq_annot.dart
100644 blob 05f7f6f331997d7d113c53b0c2aec37007920974	core_types.dart
100644 blob 56f4a9f46a9fdb0f14483728c21b1be170328cdf	error_formatter.dart
040000 tree 2e6d8ae090e518241293a954f622389fe6512b97	frontend
100644 blob ae2829cceb0a2b29313e7cf56ee221025cef22ce	import_table.dart
040000 tree 988f9123c7d7d8900282978ec8ef5130f3137149	interpreter
100644 blob 5ffbd416e9cd7ee39221df6cc4edc22c44f72c1b	kernel.dart
100644 blob 0f5ab1682dec97f3cb2ee1800b008a8971f9d654	library_index.dart
100644 blob 9a6d6a2511dfd17868bc5ae5a726181cbb236c95	log.dart
100644 blob 548e4346ca6675bbebb0b9a2a4cd4c67c1af6148	naive_type_checker.dart
040000 tree 21b1ddb04d70ec77a6856e0d0cd455550f4938ca	src
040000 tree 64f4754bf3d5fb9b6a1f248ffe23ef7509c586be	target
040000 tree dd9c35a8ecbf8b9876faf948fe14a9e83564d6a8	testing
040000 tree b278f953b99f140c113113660b1bf3978cdc5088	text
040000 tree 9a1854eba01198d3b49dffcc00bd84f1beafee4c	transformations
100644 blob ad6017b61e98cc607596f752eab56bc3e94dcc65	type_algebra.dart
100644 blob 39412ae7ff672812e03dbab8b2867623fb5d5d9f	type_checker.dart
100644 blob d12bf7bce9eba30ccdbea7be52f86695e3570f71	type_environment.dart
040000 tree 8e90ad9d2389e1fe0aba3e7f41e1c0a7c2f004bd	util
100644 blob 4239b874dd8e33e1685509c00921a20badcaae6e	verifier.dart
100644 blob fa6337c9f91c17269a72c1f2407adc8ce61d114c	visitor.dart
040000 tree 1b4b24060de0108453bd342b082304a1405be473	vm