Coq has no record update syntax, nor does it create updaters for setting individual fields of a record. This small library automates creating such updaters. The library is based on a typeclass ...
Terraform module, which creates AWS Step Functions as well as required IAM role and IAM policies for Integrated Services. This Terraform module is the part of serverless.tf framework, which aims to ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback