TL ; DR Windows の環境は全部WSLで何とかしたい 唐突にWSLgで研究環境を構築したい欲が！ じゃあWSLでやればいいじゃん！(ということで環境構築していく) まずはWSLにManjaroを入れるところから 無事にManjaroが入ったなら次はAgdaのインストールだ 文字化…