4e78a861064722b4d9dad7b873531ac2 *DESCRIPTION
1252cbc4d5d45232be903cca9cff81ff *INDEX
b43398cef26ddc43a9912d90d8a0f68d *Meta/Rd.rds
37d8b81a466ed6231df3028dcc22e6be *Meta/features.rds
741e302e9b7117b62612cdc59cd06daf *Meta/hsearch.rds
065fa10fdcc5039da1e540bba0c6659f *Meta/links.rds
0248f168af86e237928391c971b540cd *Meta/nsInfo.rds
b0650592fde6bbe0958b8d9afcc8ebdd *Meta/package.rds
641898431fd80f61aa81cfb3b779e483 *Meta/vignette.rds
98ac04f01d4cb6a4af6d563960354e6f *NAMESPACE
dbca7cdc3068afe483cb015e7efa4ab5 *NEWS.md
d6c68f1fe41ced6e98a766a3757313da *R/s7contract
7f9f95e00d6ff8f80cb0dd6096f1699c *R/s7contract.rdb
a736f684bee053f19d5f75b669824f0a *R/s7contract.rdx
98dbf37748317317fc1af53f3000f840 *doc/bioinformatics-interfaces.R
8473d0890effc9a4f4615dfa456c8100 *doc/bioinformatics-interfaces.Rmd
09baae16cb6bb0f8d465e8d84b6ec043 *doc/bioinformatics-interfaces.html
bffa9968acca96c4315545b7a8e20ecd *doc/calendar-intervals.R
ad49a4786e4f3b67acb4e9124af4f378 *doc/calendar-intervals.Rmd
7079e549a1357185e648955f731365e1 *doc/calendar-intervals.html
a78e629a61b43fac6f7928f48f074000 *doc/index.html
943fa287f76e5e921d19f9cb68253a1c *doc/monad-dictionaries.R
36a0a8222968adb40253f914ebf566ac *doc/monad-dictionaries.Rmd
7a1d9d7424ca50866896a8dd60d41f2b *doc/monad-dictionaries.html
b8da59436818ad56bde28142a0ce8810 *doc/property-laws.R
98b4efdee805251458c3bb7e650be61f *doc/property-laws.Rmd
f707be191e794094c2b72291d67ae293 *doc/property-laws.html
602df4e2346988f2a6e6e37200b6ddcb *doc/protocol-laws.R
e388aab7a51a72c729560b23133ac684 *doc/protocol-laws.Rmd
1523ff47b714844d903e5c514d217da0 *doc/protocol-laws.html
072f9924d02fe702d18212d3254d57f9 *doc/s7-interfaces-and-traits.R
63649a9e5c031915c7e3b2af7eab2779 *doc/s7-interfaces-and-traits.Rmd
b2f24740f113dd3176f85fab22b595f9 *doc/s7-interfaces-and-traits.html
3e342620ff3092c0f434f74f7c789ce8 *doc/stateful-protocols.R
17cbadd28dfa42014d4381629b034880 *doc/stateful-protocols.Rmd
e05c3d1822f903b5ea11e434d5ba1f02 *doc/stateful-protocols.html
7fcbdd03b89a4bfcf4eb83f4aae6dff9 *examples/calendar-laws.R
cbe55adb43d8889860fa0b3e9691fc7a *examples/maybe-laws.R
6cd8449e6391d4c67eabbeac50278142 *examples/shapes.R
4a82799ac3c11c5fcb66b291b72037d5 *examples/store-laws.R
83ab0cf151a778e8e074ebed2f6c4f16 *examples/vector-laws.R
4ac2e686ba03f8413a0356a558ddc5d3 *help/AnIndex
3f2bb489e6dcb201d70518938365e4d2 *help/aliases.rds
1801f89d58518a2de25c7efed2183eff *help/paths.rds
73688c3409a1756da2296c58316bb804 *help/s7contract.rdb
096be835034c3eead16ce04088fb6f88 *help/s7contract.rdx
d56c669b7756b758f7f7596bb7429c1c *html/00Index.html
ee41876c0116916bb04bcf4fe3e43d78 *html/R.css
fe501dec0de8a1267963a7da26b4559a *tinytest/test-calendar-laws.R
4489df506906cebc7c9dae44efbdd186 *tinytest/test-contract-semantics.R
354a8d9681a706fe17d52fad500417e7 *tinytest/test-coverage.R
06450e659ad2ca32ca286b112bc2f1ec *tinytest/test-generator-composition.R
2bae60f49dc6e299135196ef526fd0fc *tinytest/test-generator-double.R
4e7bb321746871865e72447e3fd9b7e5 *tinytest/test-generator-sample.R
5f1931d0b18656f0d6225b71819f208c *tinytest/test-interface.R
fd9459599bd2abaaf770db8a39409249 *tinytest/test-law-integration.R
8a5e55ebc8b26a9a9e4d20a609af9156 *tinytest/test-law.R
4c11ac07362a8a319b8f58543cd896a4 *tinytest/test-maybe-laws.R
6c7537dcdfb3eb7fb7ff50486e691e98 *tinytest/test-progressive.R
6be180d204236e6ea3f50d97515b8dc6 *tinytest/test-protocol-laws.R
1bfc39a81a15137b00166037c8fe054c *tinytest/test-state-law.R
52fbfc4df80e7d8437ad63a7c8f82b2e *tinytest/test-state-protocol.R
02341a905e64b3dd0a432fe127c878ac *tinytest/test-trait.R
