換

趕快切換回來，寫一下圖論作業。玩過 Agda 就知道 documentation 有多重要了 XD。

--
找不到相關說明是常態，找到是運氣好 XD。