该文章主要是记录日常遇到的关键点(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)