100644 blob a151f3dd19069600ccdd2413c2c8155ad3ac8307	.gitignore
100644 blob 5aff99a1c876372a125e31d9684ecb6cb0c23ff4	AUTHORS
100644 blob 82e9b524aaf30e2d1f184a3906dc65ba471fd2f8	LICENSE
100644 blob fd485744a920af8e667284b057a49ff479d631b2	README.md
100644 blob 1d1ce6a60498ba57789f451fd551221690806056	analysis_options.yaml
040000 tree 8196fe793ca222e263ce793528b4103636a33cb6	bin
100644 blob 7bb45afc18264f11d8e8251937b8e2c8408aa51c	binary.md
100644 blob d777626baa17cda5ff1cdd7b69aeca1d516b6f54	codereview.settings
040000 tree c6654fb2596091380a4e208dd22af4a38f3aa1f1	coq
040000 tree 00aa9661b4069001da54a016e98c4b816579a01b	doc
040000 tree 24a0d2db1d4c49c49898cd1a77f5a4c9c0d41927	lib
100644 blob 9e5e4f87eafddade0aacf7f0a46f70a7c75e55f0	pubspec.yaml
040000 tree 51639967b7d4be3d924998f9c5dc4322ccf1eaa4	runtime
040000 tree b15fa9813aa0b2a72d1923105109e069c5ec5feb	test
040000 tree 0944adfcdf695b5cd01299a944a52e275c20945b	testcases