2021.07.27
Jump to navigation
Jump to search
| Date | 2021-07-27 |
|---|---|
| Person | @KevinTung |
Context and Goal
- Found the containerized application of TLA and K-framework.
- 2021.07.26
To-Do
- Install and test TLA, K-Framework.
- Organize Meeting:2021.07.26/Ben,Kevin
- Run the dev.xlp.pub to thewiki.us workflow which secures thewiki.us deployment.
- Install IFrame which Jared requires and document the requirement in Application:dev.xlp.pub
- Report progress and mutual review.