- https://yangzhixuan.github.io/
- https://ice1000.org/
- https://www.jonmsterling.com/
- https://szumixie.github.io/
- https://drewdevault.com/
- https://www.lukehong.tw/
- https://gholk.github.io/
- https://blog.giveanornot.com/
- https://fexpr.blogspot.com/
- https://doisinkidney.com/
- https://www.iach.cc/
https://klisp.org/ Kernel 是一個顯式操作 environment 的類 scheme 語言，這套設計的好處就是可以移除 phase 概念而得到只有一個執行層次的 meta programming 能力。
就我所知現在程式碼要從 https://github.com/AndresNavarro82/klisp 取得
- https://xavierleroy.org/control-structures/book/index.html Control structures in programming languages, From goto to algebraic effects
- Formalising the Completeness Theorem of Classical Propositional Logic in Agda (Proof Pearl)