26-05-18

• 圏論における構造はAdgaにおけるrecordのfieldってことか！
  • 逆

26-05-19 | 26-05-17