Shota Shimizu banbiossa

• @legalontechnologies

Pinned Loading

1. Learning tla+ from https://lamport.azurewebsites.net

   TLA 2 1

3. 3

   yaml.add_constructor("!flatten", construct_flat_list)

   5

   def construct_flat_list(loader: yaml.Loader, node: yaml.Node) -> List[str]: