3443dfff63ae0a581e407f8c01f5a74854bcee58c8736f91b4f471d004bef3a3 1361 DESCRIPTION
657a935794e3921b5bb81eeb1c60de5cfbbd1d4ef17fd777270c0b2bddab0817 31726 doc/bioinformatics-interfaces.html
9335bd4ce376ad4bf0c37da1090f219955a72f116d29c282e032a89c90c656d2 4080 doc/bioinformatics-interfaces.R
9915c6e912e63cdb9c72f4a7d471caddc462a13a3205d29f31f5814d2efd4554 7908 doc/bioinformatics-interfaces.Rmd
cb2f08458cdb5e6c6ad8ef71d18b36cc98c3dde124420f1204479ad6b4892d81 30446 doc/calendar-intervals.html
b1dd084d387311dcd5f390756f0db1ab5ce963114a89c663d264056cdc3469b6 4282 doc/calendar-intervals.R
0bf0f5c4401d057c257dccade4945ccf46396b57a25e873eebe5ab668e2df6cf 2226 doc/calendar-intervals.Rmd
9a1795996c67d836368c8c8690774f82a39b718bd7d6b762ba41257a2b944733 4310 doc/index.html
2f1a4e7fada2ccc95d25a73bd3695cdf7c4415221a409c2b1abe9b29af5d1a51 38605 doc/monad-dictionaries.html
68a6b70bf409c0091548241106d8acdfe50065788b4232045e74de8c949ad523 5957 doc/monad-dictionaries.R
c527c26a71b9a807233c78f746a5df04d31215e14bf20ed58f087cc4ec7cf58c 3168 doc/monad-dictionaries.Rmd
68f2088ea103b066a67e39739178e92c03f0a3b8c95c36a5c43b18cd936d6446 38399 doc/property-laws.html
2f93acb3cc62447a421b871b83267c62027e0806a51fe5ae03408f9f8fb8b76c 3826 doc/property-laws.R
0ed8ff4b491f5440d956dd1c5c16cfd148e8a9e146e9d979f7d6cf035b8f9a0f 10385 doc/property-laws.Rmd
1ffb26d6732a99e96c7b4fd70952e84f6b1bfa238e5b6f4a1abed92ebe2c3654 45769 doc/protocol-laws.html
6055abb1d6bb949320f6d4189cdc6d3ded8ed11e265d816091343d60ec18dce8 6549 doc/protocol-laws.R
22c313a93824090100aa8aec7cfde0ce23910d3a651a28e6dff2a48107ab8087 4969 doc/protocol-laws.Rmd
9e2f94e386ef27c8873f48b804ca1c318f3b53488eac1fce0fb98979b01e566b 25208 doc/s7-interfaces-and-traits.html
38eafbe6897774bd566395f275921e341e8e073b3681d3f5c2e31cde261dc807 2999 doc/s7-interfaces-and-traits.R
8348df8d7f5c1ad311ed0587003df59bc682fff2746df34ef86696bbfc9a1dbb 3964 doc/s7-interfaces-and-traits.Rmd
4e9e33d582dcd350b67a0da8d01f6334223dc162f2c173409a40faf83da176d1 54921 doc/stateful-protocols.html
4b0f1be9652596081fa4c83b47a9bbb08d289ec7369307f259adf6f1ee67d661 7539 doc/stateful-protocols.R
577176ed21a210414e2389345211cb13efba0aaf59dfefcc7fbe99b7ff85ff6b 5933 doc/stateful-protocols.Rmd
9880c3afae0fde868a97bba8a2b00bbf63d0ee31f02903abfc941437bd29ba34 3714 examples/calendar-laws.R
4a5ace500fbdf9be92d1d83d873e9f2bd67cd211aa96a1000ebc226c065a41ed 5203 examples/maybe-laws.R
399b9090a57f7dc172084007c6ecafa9ab7595b075b7ba73b29ccfc8df329c8f 1387 examples/shapes.R
ae54c88e94724b606b3ae10615acc808ecb719f787123f54e950a9cf77690a42 6673 examples/store-laws.R
2d4b25719fcea30f3b8d010f3e2c136b24156b322f75f10a57403073f84b3a8b 5743 examples/vector-laws.R
89ad062927f85ced5333236cfa6f412ade90dbaccfc9aa7bf8eb73019b311276 520 help/aliases.rds
f23bea002024f5bd59d0cf6bdaf9420808e0bb90e09ed75de1d666153ab7d79b 1263 help/AnIndex
e7ac0b850b184e416fe19ea1ef6fa8e77b27bfe0ab7517a81446479944c08c8a 306 help/paths.rds
f36614dabfbcb425e291893114281282545b9fdd1fc5dc077adfe3b2fcb187b2 54947 help/s7contract.rdb
9c0982a19158178b709e96b833fd1f1c330ee77cfd2255242b2b4e0e26db307f 547 help/s7contract.rdx
0982a5451153c9d006c7550a682e8084d94efd8144d0b300b2b573af9d7603af 7557 html/00Index.html
3d290675266eebeba6efff07db879d699843c80bf428f9e71000e2fc6078f5db 2133 html/R.css
7425c9e1265d535f410d0271e8b976131a9da6818c7ece07d18efcb9a5991e16 1306 INDEX
b4f074bc0f45cfe56d976c0d67a1453067f4b34693828ed02d674a6641b3e332 123 Meta/features.rds
468901898f6440b74d6886bad6a957582cd9db09e5e53f59b180094c2a1e3847 1076 Meta/hsearch.rds
e72136a3050ac3549d0cec8dfcbbbeae65738e5c344aa08c3e1a13385f2941c1 579 Meta/links.rds
46f06867ffc8f36aed10ea2f6274b764b4b0c8e5f966a70547af4e65ed177ead 505 Meta/nsInfo.rds
096a77d791ac15de2c11d7f466f0ac66a491ee1f0dcb257b4538933f337e8cb2 1191 Meta/package.rds
3f364769fba0ad8c92655abc3d5f6238d4c8babc1e30d23c1e7bd35537ed1940 1065 Meta/Rd.rds
127f10639f380464ed13c3d284f588a4539727d3a0d943711f0ca3b55a79edef 467 Meta/vignette.rds
430c57a0e35de1fc3e38c92b1f0b420724c49b04d7f0bfd10693d4972d1ac329 970 NAMESPACE
ee1866ae8a0659e52ebb076f7efbb56180fc0c43b9e16b2b6d2451397cfef255 4003 NEWS.md
570ca456b280cdeb201ef5ebdf22dc8f80092e2c0c68e33c7f73340e420f3759 1058 R/s7contract
ceaf5d5fcf78e834c574ad97df5ed0dbe8ccff46ac0db2a931389d584d1f2986 149054 R/s7contract.rdb
339ae50986bc5eba79d7c4fde8daec005a57a947eeca95a9c668269d340e63f2 2197 R/s7contract.rdx
ee209697b45126b8ae6a0d19f20c07b3dcee3761942eba9eec7698097237a756 4236 tinytest/test-calendar-laws.R
17f760033dad581372fcc9d425069665e72d1d9f12f3699cd1c412d5a6df4730 6081 tinytest/test-contract-semantics.R
5f467eed08b3714bcecde3c9eef3301373fbd08bf014228ecd0b8bdaae6ffa3f 11214 tinytest/test-coverage.R
97b2d34d6f88436a6f7190468640076475838acc48fced8be1f82c22ec22a498 10130 tinytest/test-generator-composition.R
8ba6d6493bfd7ab1d26f1cdae5e28850eec17e0d53004e6da5ef027ac825aa35 8754 tinytest/test-generator-double.R
1456e529036b2b74262a809fc90ff32e6c7fa8787a26d0f5f645a465c7f80638 5813 tinytest/test-generator-sample.R
e5991ff6c75f48d33e731ccfa6433d1b96fb357b9e6bf379bee4525be767f24e 1667 tinytest/test-interface.R
b45d4dcc978a73ff404962af64cc0e79de160811703cef0e84f63af641147454 2439 tinytest/test-law-integration.R
b4d427451a6f522e51d496972405148647365aeb0e84a32af3dc40a4c722fc1b 18451 tinytest/test-law.R
1c8bbfb3713db35873909300880d464300631bc4f3aa49cc3d167c59ede5ec0d 6263 tinytest/test-maybe-laws.R
9b75216f0572f0181689e692fe5bfff0a3e38e2e8c476a1a41cf52f1ece1f0cc 8084 tinytest/test-progressive.R
dd4022d82f47405822ee4168b313d081c72550be9b3b252be8fda25114b4eaa8 4406 tinytest/test-protocol-laws.R
d8aece00adaf5d4394104e78988f8de321f9ee663af5042afe255e179ee4d7bb 15674 tinytest/test-state-law.R
e9c35f914b7e36c283f6c37c7f7b64528ef23abddc9a92b3b4cce2629e8ba3e8 4966 tinytest/test-state-protocol.R
7e4107316244341f0172d2967b1967874f110ab01b6ab5c15726a3deb4efb12d 2941 tinytest/test-trait.R
