Reading

正在閱讀 Agda code on regular expressions，把 code 重寫為類似 literate programs 的形式。目前好像都不太難，所謂「即之也溫」？XD

--
圖論作業等明天吧 XD。