Contents

• 数学などのノート
• Agdaでunivalent mathematics
• 日記
• ML module systemの参考文献一覧
• Focused Modules

Links

• GitHub: elpinal
• Mastodon (ja): @elpinal@mstdn.cbult.space
• Mastodon (en): @elpinal@mathstodon.xyz
• Bluesky: @elpinal.bsky.social
• Old website: elpinal.gitlab.io