Difference between revisions of "Daily Document/2021.08.25/Kevin Tung"
Jump to navigation
Jump to search
m (KevinTung moved page Daily Document/2021.08.25/Kevin TUng to Daily Document/2021.08.25/Kevin Tung) |
|||
| Line 1: | Line 1: | ||
{{Activity}} | {{Activity | ||
|Date=2021-08-25 | |||
|Person=@KevinTung | |||
}} | |||
==Context and Goal== | ==Context and Goal== | ||
| Line 5: | Line 8: | ||
==Progress== | ==Progress== | ||
* [https://github.com/pmer/tla-bin TLA tool] | * [https://github.com/pmer/tla-bin TLA tool] | ||
==Conclusion== | ==Conclusion== | ||