「2019年05月」一覧

今回は、Agdaというプログラミング言語で、 自然数と足し算を作っていきます。（※１） ゲーム世界の神様になるような箱庭的要素があり...

Windows10環境での、Agdaのインストール手順を動画にしました。Agda本体とそれ用のエディタ(Spacemacs)をインストールし...

AgdaというHaskellとは違うプログラミング言語を触り始めました。実は以前から少し触っていたのですが、PDFリーダーの試作を始めてか...