waddlaw/TAPL

Issues

• Strange call by name

  #94 opened 4 years ago by jonmountjoy
  2

• ちゃんと評価できていない式

  #13 opened 5 years ago by waddlaw
  2

• 値の定義を増やす

  #16 opened 5 years ago by waddlaw
  0

• 演習積み残し

  #21 opened 5 years ago by waddlaw
  0

• churchnat, churchbool を上手く実装する

  #25 opened 5 years ago by waddlaw
  0

• 代入の a-conv を実装しておく

  #31 opened 5 years ago by waddlaw
  0

• An Unsolvable Problem of Elementary Number Theory を読む

  #33 opened 5 years ago by waddlaw
  0

• 演習 6.1.5 の QuickCheck

  #38 opened 5 years ago by waddlaw
  0

• 内部実装を de Bruijn インデックスで置き換える

  #41 opened 5 years ago by waddlaw
  0

• prooftree を試す

  #70 opened 5 years ago by waddlaw
  0

• Knuth-Bendix の完備化アルゴリズムを実装する (現実的な速度で動くやつ)

  #8 opened 5 years ago by waddlaw
  0

• 2019/06/11 のデータをアップする

  #76 opened 5 years ago by waddlaw
  0

• slack の画像を import

  #68 opened 5 years ago by waddlaw
  0

• 11章の復習の内容を gitbook に追加

  #69 opened 5 years ago by waddlaw
  0

• gitbook に移行

  #67 opened 5 years ago by waddlaw
  1

• preview の実装

  #46 opened 6 years ago by waddlaw
  0

• size 関数の実装

  #32 opened 6 years ago by waddlaw
  0

• 演習5.2.8

  #15 opened 6 years ago by waddlaw
  0

• 演習3.5.17

  #20 opened 6 years ago by waddlaw
  0

• 演習3.5.16

  #18 opened 6 years ago by waddlaw
  0

• 演習3.2.5

  #19 opened 6 years ago by waddlaw
  0