Month: 202010
Coq開発環境の導入
証明駆動開発で有効なツールであるCoqの導入についてメモを残します。 # Homebrewを使ってCoqをいれる MacであればHomebrewを使ってインストールできます。 ``` brew install coq ``` ただ、おそらく最新版を常にインストールできるようなサポートは...
書き換え可能なテキストをReactJSで実装する
みなさんは下のように編集できるテキストをみたことはないでしょうか? 普段は通常のテキストなのですが、クリックすることで編集できるようになり、編集を終えれば今度は編集した後のテキストが表示されます。 console.log(value)} onFinalized={(v...