• 2022 年 11 月 4 日
• 笔记

目录 Agda学习笔记1 快捷键 refl Natural Number 自然数集合 operations rewrit …