• 2022 年 11 月 4 日
• 筆記

目錄 Agda學習筆記1 快捷鍵 refl Natural Number 自然數集合 operations rewrit …