在 YouTube 見到有人留言才知道有 Refinement 這個概念，它好像是 formual method 裏面的知識，果然做人不能無知，學到野 😂

https://en.wikipedia.org/wiki/Refinement_(computing)

#refinement #FormualMethod