2023 03 24 - qnighy/umo GitHub Wiki

近況

分岐を実装した。

これで再帰が書けるようになった。let recはないが、strict-evaluation Y combinator を使えば書ける。型をつける過程でYは使えなくなるので、それまでにlet rec相当の能力を導入したい。

あとは配列操作を実装すればチューリング完全にはなる。