Giters
waddlaw
/
TAPL
Types and Programming Languages (TAPL)
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
28
Watchers:
4
Issues:
21
Forks:
1
waddlaw/TAPL Issues
Strange call by name
Closed
4 years ago
Comments count
2
ちゃんと評価できていない式
Closed
4 years ago
Comments count
2
値の定義を増やす
Closed
4 years ago
演習積み残し
Closed
4 years ago
churchnat, churchbool を上手く実装する
Closed
4 years ago
代入の a-conv を実装しておく
Closed
4 years ago
An Unsolvable Problem of Elementary Number Theory を読む
Closed
4 years ago
演習 6.1.5 の QuickCheck
Closed
4 years ago
内部実装を de Bruijn インデックスで置き換える
Closed
4 years ago
prooftree を試す
Closed
4 years ago
Knuth-Bendix の完備化アルゴリズムを実装する (現実的な速度で動くやつ)
Closed
4 years ago
2019/06/11 のデータをアップする
Closed
5 years ago
slack の画像を import
Closed
5 years ago
11章の復習の内容を gitbook に追加
Closed
5 years ago
gitbook に移行
Closed
5 years ago
Comments count
1
preview の実装
Closed
5 years ago
size 関数の実装
Closed
6 years ago
演習5.2.8
Closed
6 years ago
演習3.5.17
Closed
6 years ago
演習3.5.16
Closed
6 years ago
演習3.2.5
Closed
6 years ago