2021-02-21

途切れた

https://tweet-card.now.sh/1362966270409277444.png?lang=ja&theme=dark https://twitter.com/ogawaissui/status/1362966270409277444

いや良いので、良いのだけれど、読切だと思っていました、マギリだけに(だけに？)

EvalML2

変数の定義を導入

今までに束縛された変数を知っている「環境」なる概念が発生するわけだが、最初こいつは規則に集合として現れるのだと思っていたら、リストだった

let-inに入る度に伸びて、抜けると縮む

なるほど

とりあえず定義たちとパーサを書いたので寝よう

これだけで200行近くあるんですが？？？

起きたので導出機構を書きました

277行、悪くないな

カスみたいなパーサのせいで入力の先頭にスペース入れないとうまく動かんみたいなのが起きてしまう。反省しています

講義パートやった