https://mizunashi-mana.github.io/proglang-notes/main.pdf