型付きモードを一時的に退避

• 近い将来の拡張に向け、一旦型付きモードをGUIから削除
• npmパッケージのアップデート
• sample.txt をGUIから簡単に読み込み・表示する機能を追加

https化・npmのパッケージアップデート

Merge pull request #38 from nikosai/develop

update packages

セッションを跨いだ入力履歴をサポート

• localStorageを使用し、セッションを遡って入力履歴を保管・補完できるようになった

Web版のパフォーマンスを改善

• DOM関連の最適化を行い、Web版の出力を高速化した（当社比約3倍〜）

評価戦略の選択に対応

• 型なしモードで、連続して簡約を行う場合に使う評価戦略を選択できるようになった。
  • 最左・最右（leftmost / rightmost）
  • 最外・最内（outermost / innermost）
  • 強・弱（strong / weak）
  • 頭部（head）
• これに伴い、設定のオプション数が増えたので、設定画面を別に設けた。ページ上部「設定」ボタンよりアクセス可能。

SKIコンビネータ・deBrujinインデックスに対応

• 「変換」タブを「Import」「Export」に分けた
  • 適切な日本語訳が思いつかない
• SKIコンビネータ <-> ラムダ式 変換を実装
  • SKI -> ラムダ は組み込みマクロとして
  • ラムダ -> SKI は Export タブに
• de Brujin Index <-> ラムダ式 変換を実装
  • de Brujin -> ラムダ は Import タブに
  • ラムダ -> de Brujin は Export タブに

簡単なテストと、CircleCIを導入

• npm test コマンドで簡単なテストケースを走らせるようにした
• さらに、CircleCIによってテストが自動実行されるようにした

実行時オプションをサポート

$ git clone https://github.com/nikosai/lambda-friends.git
$ cd lambda-friends
$ npm i
$ ./run.sh

すると、対話モード（REPL）が起動します。詳しい操作方法は、:? または :h で表示されるヘルプを参照してください。

また、実行時オプションを付けることもできます。使用できるオプションは、./run.sh -hで表示されます。

特に、./run.sh -i "<2><2>" のようにすると、ワンライナーで実行ができます。

グラフの深さのバグ修正

• Web版で、graphDepthのデフォルト値が10になっていなかった問題を修正 (thanks @Tamu7532)

型付きラムダ計算のバグ修正

Merge pull request #16 from nikosai/develop

debug typed lambda calculus