version 9.0で'mysql_native_password'が廃止された

Agdaをインストールする．

保存時にbuildする

緯度経度で表される地理座標系を，メートルのx,y座標に変換する関数を定義した．

非正格パターンマッチでは，場合によってirrefutable patternが必要になる．

4個欲しい！

Number(), BigInt()は空の文字列を入れると0を返す

Proof Netsをtikzできれいに描いた

XFowardingが遅かったからちょっと速くなるようにちょっと調べた．

zolaでいい感じのホームページができた．