使用バージョン:
画面左上の筆のアイコンからこのサイトのテーマカラーを選択することができます。
このサイトにおいて、Agdaのコード内の変数は定義へのリンクとなっています。
このサイトの制作にはAgdaのHTML出力機能とmdBookを利用しており、Agdaファイルの編集にはNeovimのcornelisプラグインを利用しています。
制作: elpinal