Difference between revisions of "2021.07.18"

From PKC
Jump to navigation Jump to search
Line 12: Line 12:


==Progress==
==Progress==
[[Video:]]
[[Video:TLA+]]





Revision as of 09:17, 18 July 2021

Date 2021-07-18
Person @KevinTung


Context and Goal

Need to specify the system and connect necessary tools. It is the last day of the 3rd week. I definitely need to be quick and align with Ben.

To-Do

  1. Learn the Basics of TLA, try to integrate TLA into the system.
  2. Organize the Input part.

Progress

Video:TLA+


Conclusion