Programowanie infrastruktury z użyciem CDK. Jak to działa z Terraform CDK?