Contents

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

Links

• GitHub: elpinal
• Mastodon (ja): @[email protected]
• Mastodon (en): @[email protected]
• Bluesky: @elpinal.bsky.social
• Old website: elpinal.gitlab.io