要点（Key Ideas）

        该文章主要是记录日常遇到的关键点（Key Ideas， Notes），但又不会将该点进行拓展或详细说明而形成文章，仅用一句话或短语去加以记录，后续有机会也许会将点子扩展成文章。同时，会不定时更新要点内容。

1. Cut-Elimination as Composition. （2024-09-02）

2. Everything is a function. (2024-09-02)

3. In Bash, there is only one type, String. So as in CMake, etc. (2024-09-02)

4. No type means unique type, as in Javascript, untyped lambda calculus, etc. (2024-09-02)