9fb5fdf0d9a7de1860b887d93a46eaa5 *DESCRIPTION
98ac04f01d4cb6a4af6d563960354e6f *NAMESPACE
dbca7cdc3068afe483cb015e7efa4ab5 *NEWS.md
89c0eb71910f9225ddbac31fe771e8fb *R/aaa-classes.R
a32bf47ef3b786109d5f984737ffedd7 *R/aaa-property-classes.R
de584ea0baafc26408d75a219145bf82 *R/coverage.R
d5c482ebc4c3b48e442dcaf1f62544da *R/generator-double.R
894304dc79b8dd4813899243f7e39701 *R/generator-sample.R
120d983172a9b617fcf0cee95e2e83f4 *R/generator.R
9a552349aaef95037a0b95de2439d4f4 *R/interface.R
fb30ac8f87235ee499beaa0b0ca40c28 *R/law.R
8ea54b6e9729086c67d5bd6b033866b6 *R/package.R
adc6ea2943fc79bcdaca17a4c657715d *R/progressive.R
3bdfd4161daad56c788eafdae04abb8b *R/state-law.R
26ba9c557eea46ebf48d85855d9a330e *R/trait.R
06337155d73481167cb6702d65105489 *R/utils.R
641898431fd80f61aa81cfb3b779e483 *build/vignette.rds
98dbf37748317317fc1af53f3000f840 *inst/doc/bioinformatics-interfaces.R
8473d0890effc9a4f4615dfa456c8100 *inst/doc/bioinformatics-interfaces.Rmd
09baae16cb6bb0f8d465e8d84b6ec043 *inst/doc/bioinformatics-interfaces.html
bffa9968acca96c4315545b7a8e20ecd *inst/doc/calendar-intervals.R
ad49a4786e4f3b67acb4e9124af4f378 *inst/doc/calendar-intervals.Rmd
7079e549a1357185e648955f731365e1 *inst/doc/calendar-intervals.html
943fa287f76e5e921d19f9cb68253a1c *inst/doc/monad-dictionaries.R
36a0a8222968adb40253f914ebf566ac *inst/doc/monad-dictionaries.Rmd
7a1d9d7424ca50866896a8dd60d41f2b *inst/doc/monad-dictionaries.html
b8da59436818ad56bde28142a0ce8810 *inst/doc/property-laws.R
98b4efdee805251458c3bb7e650be61f *inst/doc/property-laws.Rmd
f707be191e794094c2b72291d67ae293 *inst/doc/property-laws.html
602df4e2346988f2a6e6e37200b6ddcb *inst/doc/protocol-laws.R
e388aab7a51a72c729560b23133ac684 *inst/doc/protocol-laws.Rmd
1523ff47b714844d903e5c514d217da0 *inst/doc/protocol-laws.html
072f9924d02fe702d18212d3254d57f9 *inst/doc/s7-interfaces-and-traits.R
63649a9e5c031915c7e3b2af7eab2779 *inst/doc/s7-interfaces-and-traits.Rmd
b2f24740f113dd3176f85fab22b595f9 *inst/doc/s7-interfaces-and-traits.html
3e342620ff3092c0f434f74f7c789ce8 *inst/doc/stateful-protocols.R
17cbadd28dfa42014d4381629b034880 *inst/doc/stateful-protocols.Rmd
e05c3d1822f903b5ea11e434d5ba1f02 *inst/doc/stateful-protocols.html
7fcbdd03b89a4bfcf4eb83f4aae6dff9 *inst/examples/calendar-laws.R
cbe55adb43d8889860fa0b3e9691fc7a *inst/examples/maybe-laws.R
6cd8449e6391d4c67eabbeac50278142 *inst/examples/shapes.R
4a82799ac3c11c5fcb66b291b72037d5 *inst/examples/store-laws.R
83ab0cf151a778e8e074ebed2f6c4f16 *inst/examples/vector-laws.R
fe501dec0de8a1267963a7da26b4559a *inst/tinytest/test-calendar-laws.R
4489df506906cebc7c9dae44efbdd186 *inst/tinytest/test-contract-semantics.R
354a8d9681a706fe17d52fad500417e7 *inst/tinytest/test-coverage.R
06450e659ad2ca32ca286b112bc2f1ec *inst/tinytest/test-generator-composition.R
2bae60f49dc6e299135196ef526fd0fc *inst/tinytest/test-generator-double.R
4e7bb321746871865e72447e3fd9b7e5 *inst/tinytest/test-generator-sample.R
5f1931d0b18656f0d6225b71819f208c *inst/tinytest/test-interface.R
fd9459599bd2abaaf770db8a39409249 *inst/tinytest/test-law-integration.R
8a5e55ebc8b26a9a9e4d20a609af9156 *inst/tinytest/test-law.R
4c11ac07362a8a319b8f58543cd896a4 *inst/tinytest/test-maybe-laws.R
6c7537dcdfb3eb7fb7ff50486e691e98 *inst/tinytest/test-progressive.R
6be180d204236e6ea3f50d97515b8dc6 *inst/tinytest/test-protocol-laws.R
1bfc39a81a15137b00166037c8fe054c *inst/tinytest/test-state-law.R
52fbfc4df80e7d8437ad63a7c8f82b2e *inst/tinytest/test-state-protocol.R
02341a905e64b3dd0a432fe127c878ac *inst/tinytest/test-trait.R
9798799107128a585995919874d050ea *man/gen_bind.Rd
9333e731ca4c67cb403a97953874b79d *man/gen_commands.Rd
df5f328343ddb10d9a30c526e6efdbfb *man/gen_constant.Rd
cf9662b9e4533a79834be9b25795e4c7 *man/gen_double.Rd
9f37446d349a4f35ff500dc929f55ff9 *man/gen_element.Rd
20552c2e17e9ece6f31621e0ccb3d368 *man/gen_example.Rd
1366254c72dd030ab91788aa7f5ab606 *man/gen_sample.Rd
96d9d2f55e38f6a6e0605e3292b4ea4c *man/grapes-colon-colon-grapes.Rd
c67194362b7f878102fd210d8d645e6c *man/interface_requirements.Rd
787b9334bdc4077dbe897302086895f4 *man/new_command.Rd
530740affc674e9fd02446f17d041ba5 *man/new_generator.Rd
8619bee84a8d6d3ba771587d04385e9c *man/new_interface.Rd
0a13bd4bf9e859fea82ec63f1f1d6132 *man/new_law.Rd
3f405acb0b6550d51a773e5af405c55d *man/new_state_law.Rd
da7627441083dde52fd46851d8d7f5e3 *man/new_trait.Rd
e855b65e6435d4318f5d7a36470093a0 *man/s7contract.Rd
5fe58580c8bb122bfeffc6034123be2f *man/trait_methods.Rd
02bb9633ee2969cf0a752c6e47c964f6 *tests/tinytest.R
8473d0890effc9a4f4615dfa456c8100 *vignettes/bioinformatics-interfaces.Rmd
ad49a4786e4f3b67acb4e9124af4f378 *vignettes/calendar-intervals.Rmd
36a0a8222968adb40253f914ebf566ac *vignettes/monad-dictionaries.Rmd
98b4efdee805251458c3bb7e650be61f *vignettes/property-laws.Rmd
e388aab7a51a72c729560b23133ac684 *vignettes/protocol-laws.Rmd
63649a9e5c031915c7e3b2af7eab2779 *vignettes/s7-interfaces-and-traits.Rmd
17cbadd28dfa42014d4381629b034880 *vignettes/stateful-protocols.Rmd
